Restructured in case the backward-threading ++corl is ever needed

This commit is contained in:
Anton Dyudin 2014-08-17 17:21:56 -07:00 committed by Anton Dyudin
parent 2d7c533207
commit 5592e16d6a

View File

@ -1774,8 +1774,10 @@
|* b=_+<+.a
(a b c)
::
++ cork
|* [a=gate b=_,*]
++ cork |*([a=gate b=_,*] (corl b a))
::
++ corl
|* [b=_,* a=gate]
|= c=_+<.b
(a (b c))
::