Add a canonical Char→String function and Cast instance
Get some diagnostic info on why the Idris REPL refuses your connection.

Or get an alert someone's trying to hack you, whatever.
Why "do" when you can "<$>"?
Merge pull request #618 from Melvar/cast-char-string

Add a canonical Char→String function and Cast instance
Fix integer literals at REPL
Remove calls to "error". Fixes #607.
Make --ideslave imply --nocolour
Remove "CaseSplit" constructor and implementation which could never
be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer
need to export "split" from CaseSplit.hs
Change from shebangs with absolute references to using /usr/bin/env
Merge pull request #620 from david-christiansen/issue/607

Remove uses of error from ideslave and fix colouring
Merge pull request #619 from LeifW/diagnostic_on_repl_network_deny

Diagnostic on repl network deny
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
Merge pull request #622 from markuspf/fix-tests

Change from shebangs with absolute references to using /usr/bin/env
Implement CaseSplit in IdeSlave
support for add-clause in IdeSlave
Merge pull request #621 from hannesm/cleanup

Remove "CaseSplit" constructor and implementation which could never
Reset test runscripts to mode 0755
support for add-missing, make-with-block and proofsearch for ideslave
support for add-proof-clause in IdeSlave
Re-insert the missing newlines in :t for metavars