Skip to content

Instantly share code, notes, and snippets.

@nwolverson

nwolverson/settings.json

Last active July 13, 2020 08:57
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 nwolverson/f28304ab18581dec1b4de9f04a574b98 to your computer and use it in GitHub Desktop.
Save nwolverson/f28304ab18581dec1b4de9f04a574b98 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
settings.json
{
"purescript.codegenTargets": [ "corefn" ],
"purescript.addSpagoSources": true,
"purescript.buildCommand": "spago build --purs-args --json-errors"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment