VocabularykernelInputsOutputsp' | [ x p ] |
q' | [ y q ] |
r' | [ z r ] |
Word descriptionPartially applies
p to
x,
q to
y and
r to
z.
NotesThe following two lines are equivalent:
[ p ] [ q ] [ r ] tri-curry* [ call ] tri@
[ p ] [ q ] [ r ] tri*
The combination
tri-curry* tri is equivalent to a stack shuffle preceding
2tri*:
[ p ] [ q ] [ r ] tri-curry* tri
[ [ over ] dip over ] dip [ p ] [ q ] [ r ] 2tri*
Definition