Anonymous user
Factorial: Difference between revisions
fac in BLC
m (scheme syntax highlight) |
imported>Tromp (fac in BLC) |
||
Line 2,368:
^-1:_$>\:|
@.$<</syntaxhighlight>
=={{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
<syntaxhighlight>000001010111000000110011100000010111101100111010001100010</syntaxhighlight>
=={{header|BQN}}==
| |||