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
Cloudflare secures and ensures the reliability of your external-facing resources such as websites, APIs, and applications. Icon
It protects your internal resources such as behind-the-firewall applications, teams, and devices.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of PetitLambda!

Additional Project Details

Operating Systems

Solaris, Linux, Mac, Windows

Intended Audience

Education

User Interface

Console/Terminal

Programming Language

Standard ML

Related Categories

Standard ML Interpreters

Registered

2006-11-06