Zero to the zero power: Difference between revisions

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 (which works since nil coincides with Church numeral 0), and outputting in unary--- (i.e as a string of 0^0 1s---which happens to be 1):