ing.html" class="self">church encoding</a></li><li><a href="lispkit_compiler.html">lispkit compiler</a></li></ul><ul></ul></nav>
<main><h2>Church Numerals are a representation of the natural numbers using lambda
notation.</h2>

<p>A kind of <i>base1 arithmetic</i>, in which numbers are represented by
function nesting over an empty list, can be constructed in <a
href='lisp.html'>Pure Lisp</a> using only very few primtives. This document
will present Church Numerals through the lens of Lisp, alternatively one