Add support for pre

2021-02-15 21:57:05 +01:00
parent 4f0abe5540
commit 4d1217b06d
7 changed files with 59 additions and 2 deletions
@@ -0,0 +1,7 @@
+abstract Pre = {
+  cat S; N; Det;
+  fun
+    ant, dog: N ;
+    a, the: Det ;
+    mkS : Det -> N -> S;
+}