Nice. Perhaps an introduction to lambda calculus [0] would supplement it.<p>[0] <a href="http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf" rel="nofollow">http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf</a>