Simple untyped lambda-calculus interpreter. - View it on GitHub