idris-lang/Idris-dev — pull request #624 by hannesm (2013-11-18 18:07:39+00:00)
Title: Implement type-of ideslave command, which uses Check in the background

Furthermore, instead of printing with iputStrLn, use iPrintResult to
indicate that the command finished successfully