(Ara) fix SlashVV
This commit is contained in:
1 parent
d0158265d1
commit
dbe14786e7
1 file changed
+2
-1
@@ -5,7 +5,8 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra, ParamX in {
|
||||
lin
|
||||
UseV = predV ;
|
||||
|
||||
SlashVV vv vps = vps ** predV vv ; ----IL
|
||||
-- : VV -> VPSlash -> VPSlash
|
||||
SlashVV vv vps = vps ** ComplVV vv vps ;
|
||||
|
||||
-- : V2V -> VP -> VPSlash ; -- beg (her) to go
|
||||
SlashV2V v2v vp = let v2vVP = predV v2v in -- IL
|
||||
|
||||
Reference in new issue
Block a user