idris-hackers/idris-mode — pull request #182 by david-christiansen (2014-06-09 06:46:36+00:00)
Title: Improve compatibility and fix minor issues

This makes the FC hack slightly more flexible (because Idris sometimes returns nonsense, apparently), and it makes finding packages not fail when run in the bare home directory.