Toxaris/pts — pull request #126 by Blaisorblade (2014-08-19 11:35:58+00:00)
Title: Update DEVELOPMENT.md

These updates are needed for the typechecker rewrite.