PetitLambda 0.1 |
|
|
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.
|
Home
|
About Us
|
Link To Us
|
FAQ
|
Contact
Serving Software Downloads in 956 Categories, Downloaded 50.179.628 Times