lib/Tools/ghci
2018-11-08 wenzelm simplified -- according to regular "ghci" script;
2018-10-18 wenzelm clarified errors;
2018-10-17 wenzelm more robust: avoid implicit setup (with default resolver);
2018-10-17 wenzelm support for GHC via command-line tools;
less more (0) tip