lambdascript 0.2.0

Educational tool illustrating beta reduction of untyped lambda terms, parser generation
1
2
3
4

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