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
- Lambda-0.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 lambda-exp
- 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