PetitLambdaPetitLambda - Free interpreter of lambda calculus | |
Download |
PetitLambda Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- yamatodani
- Publisher web site:
- Operating Systems:
- Mac OS X
- File Size:
- 51 KB
PetitLambda Tags
PetitLambda Description
PetitLambda - Free interpreter of lambda calculus PetitLambda is a free interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from plain text or LaTex.NOTE: PetitLambda is released under the BSD License.
PetitLambda Related Software