lambdascript 0.1.1

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

define I = lambda x.x;
define K = lambda x.lambda y.x;
define lazy INFINITY = (lambda x.x x) (lambda x.x x);

K I INFINITY x;