idris-hackers/idris-mode — pull request #67 by hannesm (2014-01-29 13:30:19+00:00)
Title: inherit from prog-mode rather than fundamental

fixes #62