idris-hackers/idris-mode — pull request #84 by joneshf (2014-02-15 02:10:06+00:00)
Title: Added some explanation to install

The `exec-path` bit caught me out as I normally don't use emacs. Figured it would bite more than one person, so I think it should be in the installation section.