idris-lang/Idris-dev — pull request #1438 by david-christiansen (2014-07-29 15:15:11+00:00)
Title: Reflection updates

This updates reflection to match the current internals of the TT and Const types. It also adds a typeclass Quotable, which is necessary for constructing certain kinds of tactics using reflection.