I re-implemented this in python. Was a pretty fun project. Tromp is awesome.

http://stephenbalaban.com/a-binary-lambda-calculus-parser-in...