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