Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Developing Agda with Stack

Build

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

REPL

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-2.2.0.1
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