Zero to the zero power: Difference between revisions
Content added Content deleted
imported>Tromp No edit summary |
imported>Tromp |
||
Line 258: | Line 258: | ||
=={{header|Binary Lambda Calculus}}== |
=={{header|Binary Lambda Calculus}}== |
||
In lambda calculus, <code>\n. n n</code> is a function mapping a Church numeral n to the Church numeral n^n. The following BLC program computes this by using its input as a Church numeral ( |
In lambda calculus, <code>\n. n n</code> is a function mapping a Church numeral n to the Church numeral n^n. The following BLC program computes this for n=0 by using its empty input as a Church numeral (since nil coincides with Church numeral 0), and outputting in unary (i.e as a string of 0^0 1s): |
||
<syntaxhighlight>0001010110100000010110111011010</syntaxhighlight> |
<syntaxhighlight>0001010110100000010110111011010</syntaxhighlight> |