idris-hackers/idris-mode — pull request #97 by david-christiansen (2014-03-18 13:00:54+00:00)
Title: Add support for :apropos from Idris compiler

The necessary PR in Idris has been merged.