idris-hackers/idris-mode — pull request #110 by david-christiansen (2014-04-09 11:53:57+00:00)
Title: List metavariables on file load

This relies on https://github.com/idris-lang/Idris-dev/pull/1046

Backwards compatibility is achieved by disabling the hook.