strip faces of subjects in ++curr, ++cury, ++corl

This commit is contained in:
Quodss 2023-06-12 19:24:39 +02:00 committed by GitHub
parent 46ec863734
commit be0e8c0a50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1905,17 +1905,17 @@
++ corl :: compose backwards
|* [a=$-(* *) b=$-(* *)]
=< +:|.((a (b))) :: type check
|* c=_+<.b
|* c=_,.+<.b
(a (b c))
::
++ cury :: curry left
|* [a=$-(^ *) b=*]
|* c=_+<+.a
|* c=_,.+<+.a
(a b c)
::
++ curr :: curry right
|* [a=$-(^ *) c=*]
|* b=_+<-.a
|* b=_,.+<-.a
(a b c)
::
++ fore |*(a=$-(* *) |*(b=$-(* *) (pair a b))) :: pair before