Factorial: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
(Add bruijn) |
|||
Line 2,371:
=={{header|Binary Lambda Calculus}}==
Factorial on Church numerals in the lambda calculus is <code>λn.λf.n(λf.λn.n(f(λf.λx.n f(f x))))(λx.f)(λx.x)</code> (see https://github.com/tromp/AIT/blob/master/numerals/fac.lam) which in BLC is the 57 bits
<
=={{header|BQN}}==
| |||