This is an interface to use Lml online. You can also download the command line interface from the github repo.
Input an expression and click run to see the converted Lambda Calculus, as well as the result of evaluating that expression. For help, see the README, or the demo/tutorial provided here.
[Ready]
Result=>
Equivalent Lambda Calculus =>