HERMIT Shell Client Server Architecture

We set up the shell as a GHCi client, talking to a HERMIT server, that is a GHC plugin.

Shutdown

This shutdown is tricky, because GHCi is not designed to be shut down from the prompt.

:abort

This shuts down the shell and the server cleanly, without completing compilation.