determiners and extrapositions in Tha fixed

This commit is contained in:
aarne
2011-11-28 22:10:10 +00:00
parent f91bc73eb8
commit 524df2d4ed
8 changed files with 62 additions and 44 deletions

View File

@@ -23,6 +23,7 @@ concrete IdiomTha of Idiom = CatTha ** open Prelude, ResTha in {
ProgrVP vp = {
s = \\p => thbind kam_s lag2_s (vp.s ! p) ;
e = vp.e
} ;
ImpPl1 vp = ss (infVP vp) ; ----