PetitLambda 0.1

PetitLambda is an interpreter of lambda calculus.
PetitLambda
  1 Screenshot
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!
homepage:
sourceforge.net
license type:
BSD License 
developed by:
yamatodani
category:
ROOT \ Programming \ Interpreters
PetitLambda
Download Button

In a hurry? Add it to your Download Basket!

user rating 8

2.6/5
 

0/5

Rate it!

Add your review!

SUBMIT