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.
Categories
InterpretersLicense
BSD LicenseFollow PetitLambda
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of PetitLambda!