idris-hackers/idris-mode — pull request #2 by startling (2013-04-04 18:44:49+00:00)
Title: set comment-start for e.g. M-;

(Merging this over from my `master`).