idris-lang/Idris-dev — pull request #1550 by david-christiansen (2014-09-25 15:58:23+00:00)
Title: Improvements to :pprint - constant highlighting and IDE support

:pprint now works in IDE mode, and it highlights Const instances correctly.