Added a new post about the lambda calculus.