Fun with lambda and map

[Jason Orendorff]

Ivo wrote:
> I implemented some of the pure (?) lambda calculus in python:
> http://vanderwijk.info/lambda
> Who needs '+' , 'if' and numbers? :)

Wow.  It's extra cool that this should come up, because I just
recently tore through the first chapter of SICP, and wrote this:

  http://www.jorendorff.com/toys/truth.html

## Jason "mul = lambda m,n: lambda f: m(n(f))" Orendorff