Question: how to exit ghci in terminal?
Answer: Quits GHCi. You can also quit by typing a control-D at the prompt. Attempts to reload the current target set (see :load) if any of the modules in the set, or any dependent module, has changed.