nitrix 2017-02-07 16:51:32
I don't think so. The opposite seems easier to achieve. As a last resort, you could add :unset directives to your ~/.ghci file.
nitrix 2017-02-07 16:52:22
~/.ghc/ghci.conf, sorry.
bjrnt 2017-02-07 17:39:41
exit
