lambdascript 0.2.4

Instructional program detailing the beta reduction of typed and untyped lambda terms
1
2
3
4
5

define I = lambda x.x;
define K = lambda x.lambda y.x;
define S = lambda x.lambda y.lambda z.x z (y z);
S K I;
S I I;