A simple, web-based, graphical λ-calculus solver is available here.
© Gregor Richards. | Design by TEMPLATED.