A visual representation of the lambda calculus and animation of beta reduction. - View it on GitHub