idris-hackers/idris-mode — pull request #143 by david-christiansen (2014-05-09 16:04:59+00:00)
Title: Idris simple indent

RE #142

This new indentation style also works with .lidr files, so this PR makes it default.