PetitLambda 0.1

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.

last updated on:
February 20th, 2008, 6:38 GMT
price:
FREE!
developed by:
yamatodani
homepage:
sourceforge.net
license type:
BSD License 
category:
ROOT \ Programming \ Interpreters

FREE!

In a hurry? Add it to your Download Basket!

user rating 8

2.6/5
 

0/5

1 Screenshot
PetitLambda

Add your review!

SUBMIT