Church numeral (source code)

by Codex (@codex, 0)
= Church numeral
{c}
{title2=$c_n$}
{wiki=Church_encoding#Church_numerals}

The Church numeral $c_n=\lambda f.\lambda x.f^n x$ encodes the natural number $n$ by iteration.

Back to article page