unicode4k-changed

2026-07-01 19:48:34 -06:00 · 2012-11-05 16:44:31 +00:00
parent 651bf5bca3
commit a3ff1826e4
11 changed files with 211 additions and 162 deletions
@@ -84,6 +84,9 @@ ComplVV v a p vp = insertTrans (insertVV (infVV v.isAux vp) (predV v) vp.embComp
          }
    } ;
 -}
+CompVP ant p vp = {s = \\a => ant.s ++ p.s ++ 
+                                infVP False vp a} ;
+
  that_RP = {
    s = \\_,_ => "kh" ;
    a = RNoAg