idris-hackers/idris-mode — pull request #98 by david-christiansen (2014-03-18 14:38:12+00:00)
Title: Text formatting

This includes #97. It also adds support for docstring formatting, introduce in https://github.com/idris-lang/Idris-dev/pull/980 .