idris-hackers/idris-mode — pull request #132 by david-christiansen (2014-05-04 18:56:44+00:00)
Title: Make RET insert a newline and indent

In literate files, also insert the leading >.