playing around with the lambda calculus - View it on GitHub