Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
Developing Agda with Stack


stack build --stack-yaml stack-8.4.3.yaml


You may need to edit .ghci first:

  1. add :set prompt ">" to prevent ghci from prefixing all those loaded modules
  2. replace BUILD_DIR like dist-2.6.0 with Stack directory like .stack-work/dist/x86_64-osx/Cabal-
stack repl --stack-yaml stack-8.4.3.yaml
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment