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