Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.