idris-lang/Idris-dev — pull request #640 by david-christiansen (2013-11-19 17:26:24+00:00)
Title: Allow the use of the default foreground colour. Make it the colour of the prompt.

Fixes #633.