blob: 43695102c169bad7d27bcfc95a09e2697cd55e96 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
Lambda is a lambda calculus interpreter. It also will convert lambda expression
into the combinators S, K, and I.
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.
WWW: http://uniquesoftwaredesigns.com/lambda/docs/lambda.html
|
