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); define lazy INFINITY = (lambda x.x x) (lambda x.x x); lambda y.K y INFINITY;