Skip to content

Instantly share code, notes, and snippets.

@banacorn

banacorn/agda-stack.md

Created August 2, 2018 07:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save banacorn/e68710dca189cd0e6c14dacb4510b24b to your computer and use it in GitHub Desktop.
Save banacorn/e68710dca189cd0e6c14dacb4510b24b to your computer and use it in GitHub Desktop.
Download ZIP
Developing Agda with Stack
Raw
agda-stack.md

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