jonsterling/TT-Reflection — pull request #12 by jonsterling (2014-06-19 00:35:43+00:00)
Title: Fix prettyprinting (details below)

Resolves #4

* Generate names for variables
* Do it in a monad
* Fix bugs with bound variable numbering in printer (whoops)