Este repositorio ha sido archivado en 2022-12-11. Puedes ver archivos y clonarlo, pero no puedes hacer push o abrir incidencias o pull request.
|
-- 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
|