diff options
Diffstat (limited to '')
| -rw-r--r--[l---------] | %APPDATA%/ghc/ghci.conf | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf index a71f301..0cb900e 120000..100644 --- a/%APPDATA%/ghc/ghci.conf +++ b/%APPDATA%/ghc/ghci.conf @@ -1 +1,9 @@ -../../linux-home/%HOME%/.ghci
\ No newline at end of file +:set prompt "> " +:set prompt2 "" + +:seti -w + +:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" + +:set -XOverloadedStrings +:set -XTupleSections |