edwinb/Idris-dev — pull request #470 by david-christiansen (2013-09-04 15:06:27+00:00)
Title: Semantic colourisation in Idris repl

The Idris REPL now supports Conor colous, as in: http://imgur.com/ziMvzNG

What remains to be done on this feature:
* Colorisation of TT terms in the prover
* Customization of colors for those with different color schemes
* Windows support (this seems to require putting pretty-printing inside of IO)