idris-lang/Idris-dev — pull request #985 by david-christiansen (2014-03-19 15:59:45+00:00)
Title: Add highlighting for keywords in interpreter output

Fixes #929