PetitLambdaPetitLambda is an interpreter of lambda calculus. | |
Download |
PetitLambda Ranking & Summary
Advertisement
PetitLambda Tags
PetitLambda Description
PetitLambda is an interpreter of lambda calculus. PetitLambda is an interpreter of lambda calculus. It shows reduction process of lambda terms.Several evaluation strategies are supported. Output format can be selected from plain text to LaTex.
PetitLambda Related Software