A very basic untyped lambda calculus evaluator. Probably very buggy. Things implemented: Church Numerals Y Combinator