A program that can take any Lambda Calculus expression as input, and output a simplified expression
Primary LanguageOz