idris-hackers/idris-mode — pull request #50 by hannesm (2014-01-14 19:02:05+00:00)
Title: Issue 44

fixes #44