Viscal A visual representation of the lambda calculus and animation of beta reduction. Still currently in development!
