The Lambda Calculus Visualizer transforms mathematical expressions into their lambda calculus representations and visualizes them using interactive Tromp diagrams.
Lambda Calculus is cool but very hard to visualize
This visualizes it