Fixing issues

This commit is contained in:
Roman Suzi
2020-07-30 00:02:54 +03:00
parent 14f183a577
commit f22f5d4abf
9 changed files with 24 additions and 44 deletions

View File

@@ -188,7 +188,7 @@ oper
mkV2 : V -> V2
= \vf -> lin V2 (vf ** {c={s=[] ; c=Acc ; hasPrep=False}}) ;
mkV2 : V -> Case -> V2
= \vf, c -> lin V2 (vf ** {c={s=[] ; c=c ; hasPrep=True}}) ;
= \vf, c -> lin V2 (vf ** {c={s=[] ; c=c ; hasPrep=False}}) ;
mkV2 : V -> Prep -> V2
= \vf, prep -> lin V2 (vf ** {c=prep}) ;