From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/gadt-transfer/Foods.gf | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 examples/gadt-transfer/Foods.gf (limited to 'examples/gadt-transfer/Foods.gf') diff --git a/examples/gadt-transfer/Foods.gf b/examples/gadt-transfer/Foods.gf deleted file mode 100644 index 8ea02f39d..000000000 --- a/examples/gadt-transfer/Foods.gf +++ /dev/null @@ -1,15 +0,0 @@ --- (c) 2009 Aarne Ranta under LGPL - -abstract Foods = { - 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 ; -} -- cgit v1.2.3