diff options
-rw-r--r-- | %HOME%/.ghci | 9 |
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 |