/utils/ghc-in-ghci/

• ../
• inner.ghci
• load-main.ghci
• run.sh
• settings.ghci