Catamorphism: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
Not a robot (talk | contribs) (Add Refal) |
|||
Line 618:
A minimal size (right) fold in lambda calculus is <code>fold = \f\z (let go = \l.l(\h\t\z.f h (go t))z in go)</code> which corresponds to the 69-bit BLC program
<
=={{header|BQN}}==
| |||