summaryrefslogtreecommitdiff
path: root/doc/tutorial/resource-food
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 11:27:40 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 11:27:40 +0000
commit032531c6a690edbb377ff11ee2a743a30c5bf500 (patch)
tree21842e9061dc8dd54e2666c65160d2616537dae7 /doc/tutorial/resource-food
parente4e64c13a69db6505df499a0c3445ada9b1b2d88 (diff)
rm old tutorials
Diffstat (limited to 'doc/tutorial/resource-food')
-rw-r--r--doc/tutorial/resource-food/Food.gf14
-rw-r--r--doc/tutorial/resource-food/FoodEng.gf9
-rw-r--r--doc/tutorial/resource-food/FoodFin.gf5
-rw-r--r--doc/tutorial/resource-food/FoodFre.gf30
-rw-r--r--doc/tutorial/resource-food/FoodGer.gf5
-rw-r--r--doc/tutorial/resource-food/FoodI.gf28
-rw-r--r--doc/tutorial/resource-food/LexFood.gf16
-rw-r--r--doc/tutorial/resource-food/LexFoodFin.gf16
-rw-r--r--doc/tutorial/resource-food/LexFoodGer.gf16
9 files changed, 0 insertions, 139 deletions
diff --git a/doc/tutorial/resource-food/Food.gf b/doc/tutorial/resource-food/Food.gf
deleted file mode 100644
index 66a23e4a9..000000000
--- a/doc/tutorial/resource-food/Food.gf
+++ /dev/null
@@ -1,14 +0,0 @@
-abstract Food = {
-
- cat
- S ; Item ; Kind ; Quality ;
-
- fun
- Is : Item -> Quality -> S ;
- This, That, All : Kind -> Item ;
- QKind : Quality -> Kind -> Kind ;
- Wine, Cheese, Fish, Beer, Pizza : Kind ;
- Very : Quality -> Quality ;
- Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
-
-}
diff --git a/doc/tutorial/resource-food/FoodEng.gf b/doc/tutorial/resource-food/FoodEng.gf
deleted file mode 100644
index 0fdf8235c..000000000
--- a/doc/tutorial/resource-food/FoodEng.gf
+++ /dev/null
@@ -1,9 +0,0 @@
---# -path=.:present:prelude
-
-concrete FoodEng of Food = FoodI - [Pizza] with
- (Syntax = SyntaxEng),
- (LexFood = LexFoodEng) **
- open SyntaxEng, ParadigmsEng in {
-
- lin Pizza = mkCN (mkA "Italian") (mkN "pie") ;
-}
diff --git a/doc/tutorial/resource-food/FoodFin.gf b/doc/tutorial/resource-food/FoodFin.gf
deleted file mode 100644
index 200d39b75..000000000
--- a/doc/tutorial/resource-food/FoodFin.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete FoodFin of Food = FoodI with
- (Syntax = SyntaxFin),
- (LexFood = LexFoodFin) ;
diff --git a/doc/tutorial/resource-food/FoodFre.gf b/doc/tutorial/resource-food/FoodFre.gf
deleted file mode 100644
index 60b8f0dc2..000000000
--- a/doc/tutorial/resource-food/FoodFre.gf
+++ /dev/null
@@ -1,30 +0,0 @@
---# -path=present:prelude
-
-concrete FoodFre of Food = open SyntaxFre,ParadigmsFre in {
-
- lincat
- S = Utt ;
- Item = NP ;
- Kind = CN ;
- Quality = AP ;
-
- lin
- Is item quality = mkUtt (mkCl item quality) ;
- This kind = mkNP (mkDet this_Quant) kind ;
- That kind = mkNP (mkDet that_Quant) kind ;
- All kind = mkNP all_Predet (mkNP defPlDet kind) ;
- QKind quality kind = mkCN quality kind ;
- Wine = mkCN (mkN "vin") ;
- Beer = mkCN (mkN "bière") ;
- Pizza = mkCN (mkN "pizza" feminine) ;
- Cheese = mkCN (mkN "fromage" masculine) ;
- Fish = mkCN (mkN "poisson") ;
- Very quality = mkAP very_AdA quality ;
- Fresh = mkAP (mkA "frais" "fraîche") ;
- Warm = mkAP (mkA "chaud") ;
- Italian = mkAP (mkA "italien") ;
- Expensive = mkAP (mkA "cher") ;
- Delicious = mkAP (mkA "délicieux") ;
- Boring = mkAP (mkA "ennuyeux") ;
-
-}
diff --git a/doc/tutorial/resource-food/FoodGer.gf b/doc/tutorial/resource-food/FoodGer.gf
deleted file mode 100644
index 2e76d3f39..000000000
--- a/doc/tutorial/resource-food/FoodGer.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete FoodGer of Food = FoodI with
- (Syntax = SyntaxGer),
- (LexFood = LexFoodGer) ;
diff --git a/doc/tutorial/resource-food/FoodI.gf b/doc/tutorial/resource-food/FoodI.gf
deleted file mode 100644
index 1d637be24..000000000
--- a/doc/tutorial/resource-food/FoodI.gf
+++ /dev/null
@@ -1,28 +0,0 @@
-incomplete concrete FoodI of Food = open Syntax, LexFood in {
-
- lincat
- S = Utt ;
- Item = NP ;
- Kind = CN ;
- Quality = AP ;
-
- lin
- Is item quality = mkUtt (mkCl item quality) ;
- This kind = mkNP (mkDet this_Quant) kind ;
- That kind = mkNP (mkDet that_Quant) kind ;
- All kind = mkNP all_Predet (mkNP defPlDet kind) ;
- QKind quality kind = mkCN quality kind ;
- Wine = mkCN wine_N ;
- Beer = mkCN beer_N ;
- Pizza = mkCN pizza_N ;
- Cheese = mkCN cheese_N ;
- Fish = mkCN fish_N ;
- Very quality = mkAP very_AdA quality ;
- Fresh = mkAP fresh_A ;
- Warm = mkAP warm_A ;
- Italian = mkAP italian_A ;
- Expensive = mkAP expensive_A ;
- Delicious = mkAP delicious_A ;
- Boring = mkAP boring_A ;
-
-}
diff --git a/doc/tutorial/resource-food/LexFood.gf b/doc/tutorial/resource-food/LexFood.gf
deleted file mode 100644
index 18578c4d8..000000000
--- a/doc/tutorial/resource-food/LexFood.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-interface LexFood = open Syntax in {
-
- oper
- wine_N : N ;
- beer_N : N ;
- pizza_N : N ;
- cheese_N : N ;
- fish_N : N ;
- fresh_A : A ;
- warm_A : A ;
- italian_A : A ;
- expensive_A : A ;
- delicious_A : A ;
- boring_A : A ;
-
-}
diff --git a/doc/tutorial/resource-food/LexFoodFin.gf b/doc/tutorial/resource-food/LexFoodFin.gf
deleted file mode 100644
index b4f8809ac..000000000
--- a/doc/tutorial/resource-food/LexFoodFin.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-instance LexFoodFin of LexFood = open SyntaxFin, ParadigmsFin in {
-
- oper
- wine_N = mkN "viini" ;
- beer_N = mkN "olut" ;
- pizza_N = mkN "pizza" ;
- cheese_N = mkN "juusto" ;
- fish_N = mkN "kala" ;
- fresh_A = mkA "tuore" ;
- warm_A = mkA "lämmin" ;
- italian_A = mkA "italialainen" ;
- expensive_A = mkA "kallis" ;
- delicious_A = mkA "herkullinen" ;
- boring_A = mkA "tylsä" ;
-
-}
diff --git a/doc/tutorial/resource-food/LexFoodGer.gf b/doc/tutorial/resource-food/LexFoodGer.gf
deleted file mode 100644
index 7f04f2e8d..000000000
--- a/doc/tutorial/resource-food/LexFoodGer.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-instance LexFoodGer of LexFood = open SyntaxGer, ParadigmsGer in {
-
- oper
- wine_N = mkN "Wein" ;
- beer_N = mkN "Bier" "Biere" neuter ;
- pizza_N = mkN "Pizza" "Pizzen" feminine ;
- cheese_N = mkN "Käse" "Käsen" masculine ;
- fish_N = mkN "Fisch" ;
- fresh_A = mkA "frisch" ;
- warm_A = mkA "warm" "wärmer" "wärmste" ;
- italian_A = mkA "italienisch" ;
- expensive_A = mkA "teuer" ;
- delicious_A = mkA "köstlich" ;
- boring_A = mkA "langweilig" ;
-
-}