idris-hackers/idris-mode — pull request #127 by david-christiansen (2014-05-01 15:31:35+00:00)
Title: Load files relative to working directory

Fixes #125.