A Lisp interpreter written in untyped lambda calculus - View it on GitHub