aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--%HOME%/.ghci9
1 files changed, 0 insertions, 9 deletions
diff --git a/%HOME%/.ghci b/%HOME%/.ghci
deleted file mode 100644
index 0cb900e..0000000
--- a/%HOME%/.ghci
+++ /dev/null
@@ -1,9 +0,0 @@
-:set prompt "> "
-:set prompt2 ""
-
-:seti -w
-
-:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
-
-:set -XOverloadedStrings
-:set -XTupleSections