idris-hackers/idris-mode — pull request #85 by david-christiansen (2014-02-17 07:54:15+00:00)
Title: Add note about `idris-interpreter-path`

Updates @joneshf's description with another way to tell Emacs where Idris is