idris-lang/Idris-dev — pull request #979 by david-christiansen (2014-03-18 13:12:50+00:00)
Title: :apropos improvements

This does the following:
* :apropos in IDESlave, for Emacs and IRC bot support
* Filter out elaboration artifacts, like machine-generated names for with blocks (ie only show names that users have some chance of typing in again)
* Sort the results
* Make it case insensitive