blob: a3eecc6d2c6671df6556f894ee43076be81b6db1 (
plain) (
blame)
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://66.47.116.75/~demo/lambda/
|
