psjg

# ==== STUFF FOR THE FORGE AGENT ====
forges() {
    echo "spawning subshell with forge agent..."
    _FORGE_INIT=1 zsh
}

if [[ -n "$_FORGE_INIT" ]]; then
    unset _FORGE_INIT
    eval "$(forge zsh plugin)"
    eval "$(forge zsh theme)"

psjg

-- Set the prompt to a lambda.
-- :set prompt "λ "
-- Set the returning of type information on it.
:set +t
-- Collect evaluation time.
:set +s
-- Collect type information after loading modules.
-- Set the editor from which you can edit in ghci.
:set editor vim