petitlambda online with Winfy

We have hosted the application petitlambda in order to run this application in our online workstations with Wine or directly.

Quick description about petitlambda:

An interpreter of lambda calculus.
It shows reduction process of lambda terms.
Several evaluation strategies are supported.
Output format can be selected from LaTex, plain text.

Audience: Education.
User interface: Console/Terminal.
Programming Language: Standard ML.

.