This repository has been archived on 2022-12-11. You can view files and clone it, but cannot push or open issues or pull requests.
|
-- Setup prompt
|
|
:set prompt "ghci> "
|
|
|
|
-- Setup use of hoogle through ghci
|
|
:def hoogle \str -> return $ ":! hoogle --count=15 \"" ++ str ++ "\""
|
|
|
|
-- Enable almost all warnings by default
|
|
:set -Wall
|
|
|
|
-- Enable multi-line mode; shortform for -{ ... }-
|
|
:set +m
|