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.

Project Samples

Project Activity

See All Activity >

Categories

Interpreters

License

BSD License

Follow PetitLambda

PetitLambda Web Site

Other Useful Business Software
Fully Managed MySQL, PostgreSQL, and SQL Server Icon
Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of PetitLambda!

Additional Project Details

Operating Systems

Linux, Mac, Solaris, Windows

Intended Audience

Education

User Interface

Console/Terminal

Programming Language

Standard ML

Related Categories

Standard ML Interpreters

Registered

2006-11-06