I recently wrote a small reduction machine [1] for untyped lambda calculus (for no reason), and I was wondering if it could be made to do something fun and maybe even useful. Any suggestions?
[1] http://github.com/sanjoy/L
[1] http://github.com/sanjoy/L