idris-lang/Idris-dev — pull request #978 by david-christiansen (2014-03-18 09:58:20+00:00)
Title: Add :apropos command to REPL

:apropos STR searches names, types, and docs for STR