![](/statics/img/blank.png)
PetitLambda 0.1
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/petit-lambda/files/petit-lambda/0.1/petit-lambda.0.1.tar.gz/download
ABOUT PetitLambda
An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.
Related Programs
-
UK Bank Holidays Free Trial
View and add UK bank holidays to your calendar with a single click, set reminders and more! No data connection needed!This app shows dates and info about bank holidays in the United Kingdom (England, Scotland, Wales, N. Irela
-
YAams Free
YAams - Yet Another advanced maker system - YAams are an editor to create 2D Games without any programm knowledge. Its witten in Java & pluginable
-
Ant Quick Start Guide for DITA-OT Free
The GA/RTM version of this guide was re-released under Apache 2.0 and Common Public License 1.0 licenses and donated to the DITA Open Toolkit project, version 1.5.2. I am actively maintaining it there and supporting DITA XML
-
Tree Lock Screen Free
This is a new and special screen lock app for android.No lock, no password and no fingerprint scanning in this unlocking tool.A carton tree is the door to your phone. FAQ:1. How to unlock the phone screen?On the tree, three
-
C-pretter Free
The Project of mine and a group of friends will be called "C-pretter". It will involve the creation of the interpreter of C++ in Delphi language. First version of this project is going to involve elements of C++ la
-
wxWindows Project Manager for VC7 Free
A set of tools to simplify the use of wxWindows with Visual C++ 7.
-
SPACS Free
SPACS is an extension for Macromedia / Adobe Flash that automates flash tutorial creation. Using the SPACS panel, users submit a sequence of images, define hotspots which trigger question / answer sets, and outputs a flash fi
-
DistccTracker Free
A Java based Distcc server tracker. Allow clients to easily and painlessly update their hosts file to reflect the available Distcc servers on the farm.
-
ARS Object History Free
Remedy workflow definition history of ARSystem workflow objects changed through admin related operations. Retains a running history of all object definitions in a Remedy form.
-
Brick Remote Free
Brick Remote is a Gnome application to control the LEGO RCX brick. It utilizes LNP to communicate with the RCX. It allows to control the three motor outputs and to monitor the three sensor inputs. It requires brickOS on th