idris-lang/Idris-dev — pull request #896 by david-christiansen (2014-02-14 19:57:43+00:00)
Title: Improve output from :doc

:doc now does the following:

1. Use the pretty-printer for printing terms
2. Semantic colors
3. Send color information to IDESlave
4. More reliably identify argument names and types
5. Use indentation to show nesting structure of type classes, methods, and their args