idris-hackers/idris-mode — pull request #75 by trillioneyes (2014-01-31 02:41:34+00:00)
Title: Skip comments and fix module indentation

This contains #74 because I wasn't paying attention when I created the branch.