Elisp and the Lambda Calculus

This one is only for hardcore emacsers who are into programming languages theory: a lambda calculus interpreter written in Elisp by Michael Olson. Enjoy!