diff options
Diffstat (limited to '.GHC/ghci.conf')
| -rw-r--r-- | .GHC/ghci.conf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.GHC/ghci.conf b/.GHC/ghci.conf deleted file mode 100644 index 45a1338..0000000 --- a/.GHC/ghci.conf +++ /dev/null @@ -1,8 +0,0 @@ -:set prompt "> " -:set prompt2 "" - -:seti -w - -:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" - -:set -XOverloadedStrings |