idris-lang/Idris-dev — pull request #1637 by victoredwardocallaghan (2014-10-14 16:54:19+00:00)
Title: Lint style

Boring I know, helps for XMonad users though :)