knuton/proof-theory — pull request #6 by yfyf (2012-10-13 22:07:22+00:00)
Title: Chapter 1

No actual need to merge this yet, making this pull request just for easier progress tracking, but perhaps it's a good idea to merge early and often. I'm wondering if I'm going too much into details here. Do you think I should be covering the basics as explicitly as I am? I actually liked how concisely you've dealt with `Nip`.