idris-lang/Idris-dev — pull request #1443 by david-christiansen (2014-07-30 11:31:10+00:00)
Title: Reflection updates

Reflection documentation was previously in the old format. This has been updated.

Additionally, docs have been added, and `Quotable` instances are added for the rest of the module.