edwinb/Idris-dev — pull request #297 by david-christiansen (2013-04-30 20:38:34+00:00)
Title: Reflection utilities

* Added Eq and Show instances for TT and its dependencies
* Added minor functions for tactic script construction
* Added utility functions copied from the Idris compiler for working with TT
terms