PetitLambda 0.1

PetitLambda is an interpreter of lambda calculus.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
BSD License 
USER RATING:
2.6/5 8
DEVELOPED BY:
yamatodani
HOMEPAGE:
sourceforge.net
CATEGORY:
ROOT \ Programming \ Interpreters
1 PetitLambda Screenshot:
PetitLambda
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.

Last updated on February 20th, 2008

#lambda calculus #lambda interpreter #lambda terms #lambda #calculus #interpreter #LaTex

Add your review!

SUBMIT