toLambda Wiki
A small web application for learning lambda-calculus
Status: Beta
Brought to you by:
violard
Syntax uses usual parenthesing conventions: application priority is greater than abstraction one and application is left associative.