summaryrefslogtreecommitdiff
path: root/examples/tutorial/food
diff options
context:
space:
mode:
Diffstat (limited to 'examples/tutorial/food')
-rw-r--r--examples/tutorial/food/Food.gf16
-rw-r--r--examples/tutorial/food/FoodEng.gf23
-rw-r--r--examples/tutorial/food/FoodIta.gf22
-rw-r--r--examples/tutorial/food/food.cf14
4 files changed, 0 insertions, 75 deletions
diff --git a/examples/tutorial/food/Food.gf b/examples/tutorial/food/Food.gf
deleted file mode 100644
index c4efd5950..000000000
--- a/examples/tutorial/food/Food.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-abstract Food = {
-
- cat
- Phrase ; Item ; Kind ; Quality ;
-
- flags startcat = Phrase ;
-
- fun
- Is : Item -> Quality -> Phrase ;
- This, That : Kind -> Item ;
- QKind : Quality -> Kind -> Kind ;
- Wine, Cheese, Fish : Kind ;
- Very : Quality -> Quality ;
- Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
-
-} \ No newline at end of file
diff --git a/examples/tutorial/food/FoodEng.gf b/examples/tutorial/food/FoodEng.gf
deleted file mode 100644
index a4f5907be..000000000
--- a/examples/tutorial/food/FoodEng.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-concrete FoodEng of Food = {
-
- lincat
- Phrase, Item, Kind, Quality = {s : Str} ;
-
- lin
- Is item quality = {s = item.s ++ "is" ++ quality.s} ;
- This kind = {s = "this" ++ kind.s} ;
- That kind = {s = "that" ++ kind.s} ;
- QKind quality kind = {s = quality.s ++ kind.s} ;
- Wine = {s = "wine"} ;
- Cheese = {s = "cheese"} ;
- Fish = {s = "fish"} ;
- Very quality = {s = "very" ++ quality.s} ;
- Fresh = {s = "fresh"} ;
- Warm = {s = "warm"} ;
- Italian = {s = "Italian"} ;
- Expensive = {s = "expensive"} ;
- Delicious = {s = "delicious"} ;
- Boring = {s = "boring"} ;
-
-}
- \ No newline at end of file
diff --git a/examples/tutorial/food/FoodIta.gf b/examples/tutorial/food/FoodIta.gf
deleted file mode 100644
index 913e335ff..000000000
--- a/examples/tutorial/food/FoodIta.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-concrete FoodIta of Food = {
-
- lincat
- Phrase, Item, Kind, Quality = {s : Str} ;
-
- lin
- Is item quality = {s = item.s ++ "è" ++ quality.s} ;
- This kind = {s = "questo" ++ kind.s} ;
- That kind = {s = "quel" ++ kind.s} ;
- QKind quality kind = {s = kind.s ++ quality.s} ;
- Wine = {s = "vino"} ;
- Cheese = {s = "formaggio"} ;
- Fish = {s = "pesce"} ;
- Very quality = {s = "molto" ++ quality.s} ;
- Fresh = {s = "fresco"} ;
- Warm = {s = "caldo"} ;
- Italian = {s = "italiano"} ;
- Expensive = {s = "caro"} ;
- Delicious = {s = "delizioso"} ;
- Boring = {s = "noioso"} ;
-
-}
diff --git a/examples/tutorial/food/food.cf b/examples/tutorial/food/food.cf
deleted file mode 100644
index ace818c2e..000000000
--- a/examples/tutorial/food/food.cf
+++ /dev/null
@@ -1,14 +0,0 @@
- Is. Phrase ::= Item "is" Quality ;
- That. Item ::= "that" Kind ;
- This. Item ::= "this" Kind ;
- QKind. Kind ::= Quality Kind ;
- Cheese. Kind ::= "cheese" ;
- Fish. Kind ::= "fish" ;
- Wine. Kind ::= "wine" ;
- Italian. Quality ::= "Italian" ;
- Boring. Quality ::= "boring" ;
- Delicious. Quality ::= "delicious" ;
- Expensive. Quality ::= "expensive" ;
- Fresh. Quality ::= "fresh" ;
- Very. Quality ::= "very" Quality ;
- Warm. Quality ::= "warm" ;