Submit Software
  1. Home
  2. Linux
  3. Other
  4. PetitLambda

PetitLambda 0.1

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version 0.1 posted on 2006-11-07
    Several fixes and updates
  • Version 0.1 posted on 2006-11-07

Program Details

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