gf-book web page index and toc

19 files changed, 0 insertions, 160 deletions

diff --git a/book/examples/chapter4/Clothes.gf b/book/examples/chapter4/Clothes.gf
deleted file mode 100644
index e17400a27..000000000
--- a/book/examples/chapter4/Clothes.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-abstract Clothes = Comments ** {
-  fun
-    Shirt, Jacket : Kind ;
-    Comfortable, Elegant : Quality ;
-}
diff --git a/book/examples/chapter4/ClothesEng.gf b/book/examples/chapter4/ClothesEng.gf
deleted file mode 100644
index c6b9a2520..000000000
--- a/book/examples/chapter4/ClothesEng.gf
+++ /dev/null
@@ -1,10 +0,0 @@
---# -path=.:present
-
-concrete ClothesEng of Clothes = CommentsEng ** 
-    open SyntaxEng, ParadigmsEng in {
-  lin
-    Shirt = mkCN (mkN "shirt") ;
-    Jacket = mkCN (mkN "jacket") ;
-    Comfortable = mkAP (mkA "comfortable") ;
-    Elegant = mkAP (mkA "elegant") ;
-}
diff --git a/book/examples/chapter4/ClothesIta.gf b/book/examples/chapter4/ClothesIta.gf
deleted file mode 100644
index fc4415b07..000000000
--- a/book/examples/chapter4/ClothesIta.gf
+++ /dev/null
@@ -1,8 +0,0 @@
-concrete ClothesIta of Clothes = CommentsIta ** 
-    open SyntaxIta, ParadigmsIta in {
-  lin
-    Shirt = mkCN (mkN "camicia") ;
-    Jacket = mkCN (mkN "giacca") ;
-    Comfortable = mkAP (mkA "comodo") ;
-    Elegant = mkAP (mkA "elegante") ;
-}
diff --git a/book/examples/chapter4/Comment.gf b/book/examples/chapter4/Comment.gf
deleted file mode 100644
index 0a812c6ef..000000000
--- a/book/examples/chapter4/Comment.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-abstract Comment = {
-  flags startcat = Comment ;
-  cat
-    Comment ; Item ; Kind ; Quality ;
-  fun
-    Pred : Item -> Quality -> Comment ;
-    This, That, These, Those : Kind -> Item ;
-    Mod : Quality -> Kind -> Kind ;
-    Wine, Cheese, Fish, Pizza : Kind ;
-    Very : Quality -> Quality ;
-    Fresh, Warm, Italian, 
-      Expensive, Delicious, Boring : Quality ;
-}
diff --git a/book/examples/chapter4/Comments.gf b/book/examples/chapter4/Comments.gf
deleted file mode 100644
index ba36024f3..000000000
--- a/book/examples/chapter4/Comments.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-abstract Comments = {
-  flags startcat = Comment ;
-  cat
-    Comment ; Item ; Kind ; Quality ;
-  fun
-    Pred : Item -> Quality -> Comment ;
-    This, That, These, Those : Kind -> Item ;
-    Mod : Quality -> Kind -> Kind ;
-    Very : Quality -> Quality ;
-}
diff --git a/book/examples/chapter4/CommentsEng.gf b/book/examples/chapter4/CommentsEng.gf
deleted file mode 100644
index 8fe3ed965..000000000
--- a/book/examples/chapter4/CommentsEng.gf
+++ /dev/null
@@ -1,4 +0,0 @@
---# -path=.:present
-
-concrete CommentsEng of Comments = CommentsI with 
-  (Syntax = SyntaxEng) ;
diff --git a/book/examples/chapter4/CommentsI.gf b/book/examples/chapter4/CommentsI.gf
deleted file mode 100644
index b7cf0e8f7..000000000
--- a/book/examples/chapter4/CommentsI.gf
+++ /dev/null
@@ -1,15 +0,0 @@
-incomplete concrete CommentsI of Comments = open Syntax in {
-  lincat
-    Comment = Cl ; 
-    Item = NP ;
-    Kind = CN ;
-    Quality = AP ;
-  lin
-    Pred item quality = mkCl item quality ;
-    This kind = mkNP this_QuantSg kind ;
-    That kind = mkNP that_QuantSg kind ;
-    These kind = mkNP these_QuantPl kind ;
-    Those kind = mkNP those_QuantPl kind ;
-    Mod quality kind = mkCN quality kind ;
-    Very quality = mkAP very_AdA quality ;
-}
diff --git a/book/examples/chapter4/CommentsIta.gf b/book/examples/chapter4/CommentsIta.gf
deleted file mode 100644
index c9010c939..000000000
--- a/book/examples/chapter4/CommentsIta.gf
+++ /dev/null
@@ -1,4 +0,0 @@
---# -path=.:present
-
-concrete CommentsIta of Comments = CommentsI with 
-  (Syntax = SyntaxIta) ;
diff --git a/book/examples/chapter4/Computers.gf b/book/examples/chapter4/Computers.gf
deleted file mode 100644
index 6bbafd215..000000000
--- a/book/examples/chapter4/Computers.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-abstract Computers = Comments ** {
-  fun
-    Computer, HardDisk : Kind ;
-    Efficient, Slow : Quality ;
-}
diff --git a/book/examples/chapter4/ComputersEng.gf b/book/examples/chapter4/ComputersEng.gf
deleted file mode 100644
index c902be7a7..000000000
--- a/book/examples/chapter4/ComputersEng.gf
+++ /dev/null
@@ -1,10 +0,0 @@
---# -path=.:present
-
-concrete ComputersEng of Computers = CommentsEng ** 
-    open SyntaxEng, ParadigmsEng in {
-  lin
-    Computer = mkCN (mkN "computer") ;
-    HardDisk = mkCN (mkA "hard") (mkN "disk") ;
-    Efficient = mkAP (mkA "efficient") ;
-    Slow = mkAP (mkA "slow") ;
-}
diff --git a/book/examples/chapter4/ComputersIta.gf b/book/examples/chapter4/ComputersIta.gf
deleted file mode 100644
index 274bf6089..000000000
--- a/book/examples/chapter4/ComputersIta.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-concrete ComputersIta of Computers = 
-    CommentsIta ** open ResIta in {
-  lin
-    Computer = noun "computer" "computer" Masc ;
-    HardDisk = noun "disco rigido" "dischi rigidi" Masc ;
-    Efficient = adjective "efficiente" "efficiente" 
-                          "efficienti" "efficienti" ;
-    Slow = regAdj "lento" ;
-}
diff --git a/book/examples/chapter4/DefArtGer.gf b/book/examples/chapter4/DefArtGer.gf
deleted file mode 100644
index 1ef9394eb..000000000
--- a/book/examples/chapter4/DefArtGer.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-resource DefArtGer = {
-
-  param DetForm = DSg Gender Case | DPl Case ;
-  param Gender = Masc | Fem | Neutr ;
-  param Case = Nom | Acc | Dat | Gen ;
-
-  oper artDef : DetForm => Str = table {
-    DSg Masc Acc | DPl Dat => "den" ;
-    DSg (Masc | Neutr) Dat => "dem" ;
-    DSg (Masc | Neutr) Gen => "des" ;
-    DSg Neutr _ => "das" ;
-    DSg Fem (Nom | Acc) | DPl (Nom | Acc) => "die" ; 
-    _ => "der"
-    } ;
-
-}
diff --git a/book/examples/chapter4/Foods.gf b/book/examples/chapter4/Foods.gf
deleted file mode 100644
index d09135421..000000000
--- a/book/examples/chapter4/Foods.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-abstract Foods = Comments ** {
-  fun
-    Wine, Cheese, Fish, Pizza : Kind ;
-    Fresh, Warm, Italian, 
-      Expensive, Delicious, Boring : Quality ;
-}
diff --git a/book/examples/chapter4/FoodsEng.gf b/book/examples/chapter4/FoodsEng.gf
deleted file mode 100644
index 39711d908..000000000
--- a/book/examples/chapter4/FoodsEng.gf
+++ /dev/null
@@ -1,16 +0,0 @@
---# -path=.:present
-
-concrete FoodsEng of Foods = CommentsEng ** 
-    open SyntaxEng, ParadigmsEng in {
-  lin
-    Wine = mkCN (mkN "wine") ;
-    Pizza = mkCN (mkN "pizza") ;
-    Cheese = mkCN (mkN "cheese") ;
-    Fish = mkCN (mkN "fish" "fish") ;
-    Fresh = mkAP (mkA "fresh") ;
-    Warm = mkAP (mkA "warm") ;
-    Italian = mkAP (mkA "Italian") ;
-    Expensive = mkAP (mkA "expensive") ;
-    Delicious = mkAP (mkA "delicious") ;
-    Boring = mkAP (mkA "boring") ;
-}
diff --git a/book/examples/chapter4/FoodsIta.gf b/book/examples/chapter4/FoodsIta.gf
deleted file mode 100644
index 502a29cc2..000000000
--- a/book/examples/chapter4/FoodsIta.gf
+++ /dev/null
@@ -1,16 +0,0 @@
---# -path=.:present
-
-concrete FoodsIta of Foods = CommentsIta ** 
-    open SyntaxIta, ParadigmsIta in {
-  lin
-    Wine = mkCN (mkN "vino") ;
-    Pizza = mkCN (mkN "pizza") ;
-    Cheese = mkCN (mkN "formaggio") ;
-    Fish = mkCN (mkN "pesce") ;
-    Fresh = mkAP (mkA "fresco") ;
-    Warm = mkAP (mkA "caldo") ;
-    Italian = mkAP (mkA "italiano") ;
-    Expensive = mkAP (mkA "caro") ;
-    Delicious = mkAP (mkA "delizioso") ;
-    Boring = mkAP (mkA "noioso") ;
-}
diff --git a/book/examples/chapter4/Shopping.gf b/book/examples/chapter4/Shopping.gf
deleted file mode 100644
index 99deb46d9..000000000
--- a/book/examples/chapter4/Shopping.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-abstract Shopping = Foods, Clothes ;
-
diff --git a/book/examples/chapter4/ShoppingEng.gf b/book/examples/chapter4/ShoppingEng.gf
deleted file mode 100644
index 9233a00af..000000000
--- a/book/examples/chapter4/ShoppingEng.gf
+++ /dev/null
@@ -1,4 +0,0 @@
---# -path=.:present
-
-concrete ShoppingEng of Shopping = FoodsEng, ClothesEng ;
-
diff --git a/book/examples/chapter4/ShoppingIta.gf b/book/examples/chapter4/ShoppingIta.gf
deleted file mode 100644
index 5abae2674..000000000
--- a/book/examples/chapter4/ShoppingIta.gf
+++ /dev/null
@@ -1,4 +0,0 @@
---# -path=.:present
-
-concrete ShoppingIta of Shopping = FoodsIta, ClothesIta ;
-
diff --git a/book/examples/chapter4/SmallShopping.gf b/book/examples/chapter4/SmallShopping.gf
deleted file mode 100644
index 10c7c1a17..000000000
--- a/book/examples/chapter4/SmallShopping.gf
+++ /dev/null
@@ -1,3 +0,0 @@
-abstract SmallShopping = 
-  Foods - [Wine], 
-  Clothes [Kind,Quality,Shirt,Elegant] ;