This page has moved to /posts/lambdacalc.html.