1
0
forked from GitHub/gf-rgl

adjustments in Phrasebook and synopsis

This commit is contained in:
aarne
2011-12-08 14:04:42 +00:00
parent 0a8b62cb96
commit d5b856bb94
13 changed files with 258 additions and 227 deletions

View File

@@ -76,14 +76,14 @@ oper
mkV2Q : V -> Str -> V2Q =
\v,p -> lin V2Q (v ** {c2 = p}) ;
mkV2V : V -> Str -> V2V =
\v,p -> lin V2V (v ** {c2 = p}) ;
mkV2V : V -> Str -> Str -> V2V =
\v,p,q -> lin V2V (v ** {c2 = p ; c3 = q}) ;
mkV2S : V -> Str -> V2S =
\v,p -> lin V2S (v ** {c2 = p}) ;
mkV2A : V -> Str -> V2A =
\v,p -> lin V2A (v ** {c2 = p}) ;
mkV2A : V -> Str -> Str -> V2A =
\v,p,q -> lin V2A (v ** {c2 = p ; c3 = q}) ;
mkAdv : Str -> Adv =
\s -> lin Adv (ss s) ;