idris-hackers/idris-mode — pull request #157 by david-christiansen (2014-05-23 10:32:45+00:00)
Title: Eldoc + macro indents

This PR does two things:
1. Enable eldoc minor mode, which shows type signatures in the modeline for the identifier at point
2. Add indentation instructions for all the macros, to make it more pleasant to work on idris-mode