idris-lang/Idris-dev — pull request #1288 by david-christiansen (2014-06-05 14:45:56+00:00)
Title: Add semantic highlighting for postulates

Fixes #1286.