idris-hackers/idris-mode — pull request #166 by hannesm (2014-05-24 17:24:13+00:00)
Title: Issue/163

supersedes #165