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.


©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.