knuton/proof-theory — pull request #14 by yfyf (2012-10-20 15:21:12+00:00)
Title: Untyped lambda calculus clean up

This is still in progress :-)