From 1d1cc96b3b112fd1a17ce571fc5537f88c6417fc Mon Sep 17 00:00:00 2001
From: "Andrew R. M" <andrewmiller237@gmail.com>
Date: Thu, 2 Nov 2017 23:17:19 -0400
Subject: [PATCH] Modify ghci startup file

Don't load any language extensions by default and change the prompt for
+1 coolness
---
 ghci/.ghci | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/ghci/.ghci b/ghci/.ghci
index 4972383..afe9f1f 100644
--- a/ghci/.ghci
+++ b/ghci/.ghci
@@ -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 "