generalize DAP

2026-07-02 20:18:33 -06:00 · 2018-06-26 18:09:11 +02:00
parent a730a3194b
commit 0df8c34e1d
14 changed files with 123 additions and 64 deletions
@@ -236,9 +236,5 @@ concrete NounBul of Noun = CatBul ** open ResBul, Prelude in {
                     spec = dap.spec;
                     p = dap.p
                    } ;
-    DetDAP det = {s = \\sp,g,role => det.s ! sp ! g ! role;
-                  nn = det.nn;
-                  spec = det.spec;
-                  p = det.p
-                 } ;
+    DetDAP det = det ;
 }