1
0
forked from GitHub/gf-rgl

support but as a conjunction

This commit is contained in:
Krasimir Angelov
2018-06-14 08:13:02 +02:00
parent cb53630c60
commit b993704225
7 changed files with 37 additions and 24 deletions
+2 -2
View File
@@ -58,7 +58,7 @@ concrete ExtraBul of ExtraBulAbs = CatBul **
lincat
VPI = {s : Agr => Str} ;
[VPI] = {s : Bool => Ints 2 => Agr => Str} ;
[VPI] = {s : Bool => Ints 3 => Agr => Str} ;
lin
BaseVPI x y = {s = \\d,t,a=>x.s!a++linCoord!t++y.s!a} ;
@@ -73,7 +73,7 @@ concrete ExtraBul of ExtraBulAbs = CatBul **
lincat
VPS = {s : Agr => Str} ;
[VPS] = {s : Bool => Ints 2 => Agr => Str} ;
[VPS] = {s : Bool => Ints 3 => Agr => Str} ;
lin
BaseVPS x y = {s = \\d,t,a=>x.s!a++linCoord!t++y.s!a} ;