modernized parser in EmbedAPI

2007-09-05 14:05:42 +00:00
parent 22b4069803
commit f357082c27
15 changed files with 335 additions and 87 deletions
@@ -0,0 +1,8 @@
+interface LexMath = open Syntax in {
+
+  oper
+    even_A  : A ;
+    odd_A   : A ;
+    prime_A : A ;
+
+}