Re: the natural numbers using lambda calculus

[Mark Dominus <mjd-phillylambda@plover.com>]

Here's a detailed explanation, with runnable code in Perl:

        http://perl.plover.com/lambda/

Instead of Church numerals, it uses a synthetic representation of
natural numbers based on linked lists: the number N is represented as
the list (false false ... true) with N "false" elements.  If you're
new to the lambda-calculus, this can be easier to understand than the
Church numerals, although it has certain technical disadvantages.