knuton/proof-theory — pull request #31 by knuton (2012-10-23 18:18:18+00:00)
Title: Postproduction

So I could not resist.

Reading it once more without haste was quite interesting and pleasing, by the way.