Lambda Calculus A lambda calculus evaluator, written in Python. textX library is used for creating the AST and flask is used for the backend.