Uses for a Lambda Calculus Reduction Machine.

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?<p>[1] http://github.com/sanjoy/L