Dieses Repository wurde am 2022-12-11 archiviert. Du kannst Dateien ansehen und es klonen, aber nicht pushen oder Issues/Pull-Requests öffnen.
|
-- 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
|