Visual Lambda Calculus (playable in browser)

Lambda Calculus made fun: dive into reductions!