Modify ghci startup file

Don't load any language extensions by default and change the prompt for
+1 coolness
This commit is contained in:
Andrew R. M 2017-11-02 23:17:19 -04:00
parent 1f51c06028
commit 1d1cc96b3b

View File

@ -1,6 +1,4 @@
-- Enable overloaded string literals
:set -XOverloadedStrings
-- Enable multiline formatting
:set +m
:set prompt "\ESC[1;35mλ\ESC[1;34m>\ESC[0m "
:set prompt2 "\ESC[1;34m|\ESC[1;35m>\ESC[0m "
:set prompt "\ESC[1;35mλ\ESC[1;34m:\ESC[0m "
:set prompt2 "\ESC[1;34m |\ESC[0m "