edwinb/Idris-dev — pull request #477 by david-christiansen (2013-09-13 11:47:27+00:00)
Title: Set colors at REPL

Users can now set colors at the REPL.

Add the command :colour or :color. Syntax:

:colour on - enable colors
:colour off - disable colors
:colour TYPE OPTIONS - set a colour

where TYPE is keyword, function, type, implicit, boundvar
amd OPTIONS are ANSI colour names, underline, bold, vivid, dull