idris-hackers/idris-mode — pull request #172 by david-christiansen (2014-06-02 08:49:57+00:00)
Title: Support type search

This adds straightforward support for :search.

It also rebinds a few keys by default to better follow Emacs conventions
as well as SLIME's. This is together with :search support because it
fits into those keybindings.