1 files changed, 34 insertions, 0 deletions
diff --git a/examples/jem-math/Math.gf b/examples/jem-math/Math.gf
new file mode 100644
index 000000000..b4e1cb2c2
--- /dev/null
+++ b/examples/jem-math/Math.gf
@@ -0,0 +1,34 @@
+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 ;
+
+}