From e112fd188f905d90b727101fdbfa21478f4c9d18 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 15 Sep 2008 15:28:47 +0000 Subject: JEM tutorial examples - some files missing still --- examples/jem-math/Math.gf | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create 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 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 ; + +} -- cgit v1.2.3