contents of new tutorial

doc/tutorial-next/Food.gf

@@ -0,0 +1,14 @@
+abstract Food = {
+
+  cat
+    S ; Item ; Kind ; Quality ;
+
+  fun
+    Is : Item -> Quality -> S ;
+    This, That : Kind -> Item ;
+    QKind : Quality -> Kind -> Kind ;
+    Wine, Cheese, Fish : Kind ;
+    Very : Quality -> Quality ;
+    Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
+
+}

doc/tutorial-next/FoodEng.gf

@@ -0,0 +1,23 @@
+concrete FoodEng of Food = {
+
+  lincat
+    S, 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"} ;
+
+}
+    

doc/tutorial-next/FoodIta.gf

@@ -0,0 +1,22 @@
+concrete FoodIta of Food = {
+
+  lincat
+    S, Item, Kind, Quality = {s : Str} ;
+
+  lin
+    Is item quality = {s = item.s ++ "è" ++ quality.s} ;
+    This kind = {s = "questo" ++ kind.s} ;
+    That kind = {s = "quello" ++ 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"} ;
+
+}

doc/tutorial-next/Makefile

@@ -0,0 +1,6 @@
+html:
+	txt2tags -thtml --toc gf-tutorial2.txt
+tex:
+	txt2tags -ttex --toc gf-tutorial2.txt
+	pdflatex gf-tutorial2.tex
+	pdflatex gf-tutorial2.tex 

doc/tutorial-next/food.cf

@@ -0,0 +1,15 @@
+Is.        S       ::= 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" ;
+