idris-lang/Idris-dev — pull request #1185 by david-christiansen (2014-05-04 17:46:19+00:00)
Title: Pretty-print fixes

* Slightly better docs
* Show 'symbols as types in semantic highlighting (because they are)
* Better parenthesization of arrows