From bfbe2e3d47e5f1904846609c80058f0561d76ede Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 19 Dec 2005 16:31:40 +0000 Subject: resource examples --- doc/tutorial/applications/FoodComments.gf | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 doc/tutorial/applications/FoodComments.gf (limited to 'doc/tutorial/applications/FoodComments.gf') diff --git a/doc/tutorial/applications/FoodComments.gf b/doc/tutorial/applications/FoodComments.gf new file mode 100644 index 000000000..2d9f7013b --- /dev/null +++ b/doc/tutorial/applications/FoodComments.gf @@ -0,0 +1,7 @@ +abstract FoodComments = Comments ** { + + fun + Wine, Cheese, Fish, Pizza : Kind ; + Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; + +} -- cgit v1.2.3