1
0
forked from GitHub/gf-rgl

more examples in synopsis

This commit is contained in:
aarne
2010-12-13 17:28:34 +00:00
parent 325d230fd3
commit 98c4022050
9 changed files with 622 additions and 300 deletions

View File

@@ -261,6 +261,14 @@ oper
qp = vp.qp
} ;
insertObjPre : (Bool => Polarity => Agr => Str) -> VP -> VP = \obj,vp -> {
s = vp.s ;
s2 = \\fin,b,a => obj ! fin ! b ! a ++ vp.s2 ! fin ! b ! a ;
ext = vp.ext ;
sc = vp.sc ;
qp = vp.qp
} ;
insertExtrapos : Str -> VP -> VP = \obj,vp -> {
s = vp.s ;
s2 = vp.s2 ;