unicode4k-changed

This commit is contained in:
virk.shafqat
2012-11-05 16:44:31 +00:00
parent 7c04eede85
commit f7344b8f38
12 changed files with 213 additions and 164 deletions

View File

@@ -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