Factorial: Difference between revisions
Content added Content deleted
(Add bruijn) |
|||
Line 2,371: | Line 2,371: | ||
=={{header|Binary Lambda Calculus}}== |
=={{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 |
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 |
||
< |
<pre>000001010111000000110011100000010111101100111010001100010</pre> |
||
=={{header|BQN}}== |
=={{header|BQN}}== |