summaryrefslogtreecommitdiff
path: root/doc/tutorial
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tutorial')
-rw-r--r--doc/tutorial/Foods.gf14
-rw-r--r--doc/tutorial/FoodsEng.gf36
2 files changed, 0 insertions, 50 deletions
diff --git a/doc/tutorial/Foods.gf b/doc/tutorial/Foods.gf
deleted file mode 100644
index 9337e234a..000000000
--- a/doc/tutorial/Foods.gf
+++ /dev/null
@@ -1,14 +0,0 @@
-abstract Foods = {
-
- cat
- S ; Item ; Kind ; Quality ;
-
- fun
- Is : Item -> Quality -> S ;
- This, That, These, Those : Kind -> Item ;
- QKind : Quality -> Kind -> Kind ;
- Wine, Cheese, Fish, Pizza : Kind ;
- Very : Quality -> Quality ;
- Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
-
-} \ No newline at end of file
diff --git a/doc/tutorial/FoodsEng.gf b/doc/tutorial/FoodsEng.gf
deleted file mode 100644
index ee3857166..000000000
--- a/doc/tutorial/FoodsEng.gf
+++ /dev/null
@@ -1,36 +0,0 @@
---# -path=.:resource:prelude
-
-concrete FoodsEng of Foods = open Prelude, MorphoEng in {
-
- lincat
- S, Quality = SS ;
- Kind = {s : Number => Str} ;
- Item = {s : Str ; n : Number} ;
-
- lin
- Is item quality = ss (item.s ++ (mkVerb "are" "is").s ! item.n ++ quality.s) ;
- This = det Sg "this" ;
- That = det Sg "that" ;
- These = det Pl "these" ;
- Those = det Pl "those" ;
- QKind quality kind = {s = \\n => quality.s ++ kind.s ! n} ;
- Wine = regNoun "wine" ;
- Cheese = regNoun "cheese" ;
- Fish = mkNoun "fish" "fish" ;
- Pizza = regNoun "pizza" ;
- Very = prefixSS "very" ;
- Fresh = ss "fresh" ;
- Warm = ss "warm" ;
- Italian = ss "Italian" ;
- Expensive = ss "expensive" ;
- Delicious = ss "delicious" ;
- Boring = ss "boring" ;
-
- oper
- det : Number -> Str -> Noun -> {s : Str ; n : Number} = \n,d,cn -> {
- s = d ++ cn.s ! n ;
- n = n
- } ;
-
-}
- \ No newline at end of file