forked from GitHub/gf-rgl
Coordination.gf: comma with SOFT_BIND
This commit is contained in:
@@ -132,7 +132,7 @@ oper
|
|||||||
{s = \\p,q,r,t => or.s1++ xs.s1 ! p ! q ! r ! t ++ or.s2 ++ xs.s2 ! p ! q ! r ! t} ;
|
{s = \\p,q,r,t => or.s1++ xs.s1 ! p ! q ! r ! t ++ or.s2 ++ xs.s2 ! p ! q ! r ! t} ;
|
||||||
--------------
|
--------------
|
||||||
|
|
||||||
comma = "," ;
|
comma = bindComma ;
|
||||||
|
|
||||||
-- you can also do this to right-associative lists:
|
-- you can also do this to right-associative lists:
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user