Toxaris/pts — pull request #79 by Blaisorblade (2014-07-13 17:47:23+00:00)
Title: Add new Show instances, and misc further improvements for REPL development

This comes closer to allowing to typecheck new terms in the REPL, depending on some module.