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/nlg/Logic.gf | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 examples/nlg/Logic.gf (limited to 'examples/nlg/Logic.gf') diff --git a/examples/nlg/Logic.gf b/examples/nlg/Logic.gf deleted file mode 100644 index 63c330faf..000000000 --- a/examples/nlg/Logic.gf +++ /dev/null @@ -1,20 +0,0 @@ -abstract Logic = { - -cat - Ind; Prop; - -fun - john : Ind; - mary : Ind; - boy : Ind -> Prop; - love : Ind -> Ind -> Prop; - leave : Ind -> Prop; - smart : Ind -> Prop; - exists : (Ind -> Prop) -> Prop; - forall : (Ind -> Prop) -> Prop; - and,or : Prop -> Prop -> Prop; - impl : Prop -> Prop -> Prop; - not : Prop -> Prop; - eq : Ind -> Ind -> Prop; - -} -- cgit v1.2.3