ezyang/tmr-issue23 — pull request #1 by twistedsquare (2014-03-12 23:25:09+00:00)
Title: Tried to adjust all of Edward's comments

Hi Edward,

Pull request for my latest changes, assuming I'm operating Github correctly ;-) I wonder whether I should just drop that last small section (types as light-weight contracts), as it does feel a bit tacked on and it is quite simple... See what you think.

Neil.