idris-lang/Idris-dev — pull request #910 by david-christiansen (2014-02-19 08:47:19+00:00)
Title: IDESlave improvements: namespaces and docs

This patch does the following:
* Allow :type-of in ideslave (like :t at the repl) to take explicit namespaces
* Add a new command for getting docstrings