Lambda Project
Lambda is a lambda calculus interpret.
It also will convert lambda expression into the
combinators S, K, and I.
 About

 Current features:

 Load predefined lambda expression
 Many definitions provided:
numbers Y fact map iszero list 1st 2nd 3rd
ADD MUL EXP
list suc pred . . .
 Automatic number definitions.
 Interpret lambda expressions.
 Single step interpretation.
 Normal or application order reductions.
 Variable extraction (Conversion to S K I)
 List definitions.
 Some lambda calculus theory.
 Current version
 Lambda0.1.1.
 License

Lambda is distributed as free software under GPL.
 News

 Aug 19, 2003
 Released Version 0.1.3.
 Add xapp flag for ext command.
 Made ext behave consistently when extracting constant expressions.
 Add preprocessing for user manual.
This automatically inserts a table of contents
and does character entity translations.
 Aug 18, 2003
 Released Version 0.1.2.
Added documentation:
 Include examples for numbers.
 Lists
 Functional Completeness.
 Aug 17, 2003
 Correction to definition of:
ext x lambdaexp
 Aug 15, 2003
 Released version 0.1.1.
 Documentation

User Manual.
 Requirements

The following software is required:
 Download

Download Source
 ChangeLog

ChangeLog
 Contact

usdesign@earthlink.net