idris-lang/Idris-dev — pull request #1376 by Melvar (2014-07-10 19:12:05+00:00)
Title: Allow :let in ideslave

This is written analogously to the `ChangeDirectory` case, since otherwise there is no output in case of success. @david-christiansen Please have a look.