compatibility modules started to deal with WebALT grammars

2026-06-24 18:46:26 -06:00 · 2008-09-08 16:02:05 +00:00
parent 940f7894ec
commit 5fde12f8f4
4 changed files with 42 additions and 0 deletions
@@ -0,0 +1,9 @@
+abstract Compatibility = Cat ** {
+
+-- from Noun 19/4/2008
+
+fun
+    NumInt     : Int -> Num ;     -- 57
+    OrdInt     : Int -> Ord ;     -- 57
+
+}