idris-hackers/idris-mode — pull request #119 by david-christiansen (2014-04-29 15:49:58+00:00)
Title: Read .ipkg file to get working directory

If no ipkg, default to current file's dir as before. This really helps
in getting Idris to find the imports when working on a package.