dotfiles/ghc/.config/ghc/ghci.conf
Diogo Cordeiro c6cc2d3f9d first commit
2021-02-18 17:53:07 +00:00

3 lines
37 B
Plaintext

:set prompt "ghci> "
:set editor vim