(Kor) Add new VForms, replace AForm with VForm (now identical)

2026-07-01 11:38:34 -06:00 · 2020-04-01 17:31:15 +02:00
parent 8f46b09647
commit 7b09a6cf8b
5 changed files with 26 additions and 18 deletions
@@ -111,7 +111,7 @@ lin

  -- : AP  -> Comp ;
  CompAP ap = emptyComp ** {
-    s = \\vf => ap.s ! APred vf
+    s = ap.s
    } ;

  -- : CN  -> Comp ;