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/jem-math/Math.gf | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 examples/jem-math/Math.gf (limited to 'examples/jem-math/Math.gf') diff --git a/examples/jem-math/Math.gf b/examples/jem-math/Math.gf deleted file mode 100644 index b4e1cb2c2..000000000 --- a/examples/jem-math/Math.gf +++ /dev/null @@ -1,34 +0,0 @@ -abstract Math = { - -flags startcat = Prop ; - -cat - Prop ; Exp ; - -fun - And, Or, If : Prop -> Prop -> Prop ; - - Zero : Exp ; - - Successor : Exp -> Exp ; - - Sum, Product : Exp -> Exp -> Exp ; - - Even, Odd, Prime : Exp -> Prop ; - - Equal, Less, Greater, Divisible : Exp -> Exp -> Prop ; - -cat - Var ; - -fun - X, Y : Var ; - - EVar : Var -> Exp ; - - EInt : Int -> Exp ; - - ANumberVar : Var -> Exp ; - TheNumberVar : Var -> Exp ; - -} -- cgit v1.2.3