Ce dépôt a été archivé le 2022-12-11. Vous pouvez voir ses fichiers ou le cloner, mais pas ouvrir de ticket ou de demandes d'ajout, ni soumettre de changements.
|
-- 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
|