A simple input sample: (lambda x.(x x)). Or type help to learn more.
Try a complicated one: (((lambda x y.(y x))(((((lambda x y. (y x))(((lambda x.x) 12)))) (lambda x.x))))(lambda x.x))
© Liang Gong, Electric Engineering & Computer Science, University of California, Berkeley.
Powered by Bootstrap, template by @mdo.