README.md

Every piece of software exists to solve a problem. If you don't find it intuitively obvious that the lambda calculus is turing-complete, that is a problem that this software can solve.