new big and shallow modules

2006-11-02 17:04:35 +00:00
parent b8a454a7d3
commit 3396a13ee7
12 changed files with 6312 additions and 67 deletions
--- a/examples/shallow/BigShallowSweAbs.gf
+++ b/examples/shallow/BigShallowSweAbs.gf
@@ -0,0 +1,11 @@
+--# -path=.:../big:alltenses:prelude
+
+abstract BigShallowSweAbs = 
+  Shallow,
+  BigLexSweAbs,
+  IrregSweAbs,
+  ExtraSweAbs-[
+    ComplBareVS, -- : VS -> S -> VP ;     -- know you go
+    MkVPI        -- : VP -> VPI ;
+  ]
+  ** {} ;