restest completed, English ready in exper
This commit is contained in:
1 parent
937ddad3cc
commit
0390be7abb
10 files changed
+84
-44
No files matched your search
@@ -41,7 +41,7 @@ concrete VerbEng of Verb = CatEng ** open ResEng in {
|
||||
|
||||
PassV2 v = insertObj (\\_ => v.s ! VPPart) (predAux auxBe) ;
|
||||
|
||||
UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "to"
|
||||
---b UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "to"
|
||||
|
||||
CompAP ap = ap ;
|
||||
CompNP np = {s = \\_ => np.s ! Acc} ;
|
||||
|
||||
Reference in new issue
Block a user