knuton/proof-theory — pull request #19 by knuton (2012-10-20 21:02:27+00:00)
Title: Add SKI section

Should be a good motivation for looking at effect of beta-conversion on proof trees and then segue to normalisation.