idris-lang/Idris-dev — pull request #1039 by david-christiansen (2014-04-07 10:03:21+00:00)
Title: Use pretty-printer for :i command

This enables proper semantic highlighting in IDESlave and fixes the
specific problems in issue #1029.