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/MathEng.gf | 42 ------------------------------------------ 1 file changed, 42 deletions(-) delete mode 100644 examples/jem-math/MathEng.gf (limited to 'examples/jem-math/MathEng.gf') diff --git a/examples/jem-math/MathEng.gf b/examples/jem-math/MathEng.gf deleted file mode 100644 index ac29a504e..000000000 --- a/examples/jem-math/MathEng.gf +++ /dev/null @@ -1,42 +0,0 @@ -concrete MathEng of Math = { - -lincat - Prop, Exp = Str ; - -lin - And a b = a ++ "and" ++ b ; - Or a b = a ++ "or" ++ b ; - If a b = "if" ++ a ++ "then" ++ b ; - - Zero = "zero" ; - - X = "x" ; - Y = "y" ; - - Successor x = "the successor of" ++ x ; - - Sum x y = "the sum of" ++ x ++ "and" ++ y ; - Product x y = "the product of" ++ x ++ "and" ++ y ; - - Even x = x ++ "is even" ; - Odd x = x ++ "is odd" ; - Prime x = x ++ "is prime" ; - - Equal x y = x ++ "is equal to" ++ y ; - Less x y = x ++ "is less than" ++ y ; - Greater x y = x ++ "is greater than" ++ y ; - Divisible x y = x ++ "is divisible by" ++ y ; - -lincat - Var = Str ; -lin - X = "x" ; - Y = "y" ; - - EVar x = x ; - EInt i = i.s ; - - ANumberVar x = "a number" ++ x ; - TheNumberVar x = "the number" ++ x ; - -} -- cgit v1.2.3