# Configuration for dev-util/hoogle

HOOGLE_SERVER_PORT="4006"
HOOGLE_SERVER_HOST="localhost"

HOOGLE_SERVER_EXTRA_ARGS="--local +RTS -N"
HOOGLE_GENERATE_ARGS="--local +RTS -N"