idris-hackers/idris-mode — pull request #150 by david-christiansen (2014-05-20 15:29:50+00:00)
Title: Make module names in ipkg files clickable

Now if there is a module in the source dir with the right name, it becomes a clickable link.