That was pretty cool. Interesting to note that the numbers he used are essentially an implementation of the Peano Axioms, where the successor function wraps the

That was pretty cool. Interesting to note that the numbers he used are essentially an implementation of the Peano Axioms, where the successor function wraps the predecessor in a lambda. (http://en.wikipedia.org/wiki/Peano_Axioms http://en.wikipedia.org/wiki/Peano_Axioms) Here's a simple recursively defined number system in scheme: https://gist.github.com/1466985 https://gist.github.com/1466985