{
  "editor.formatOnSave": true,
  "purescript.addNpmPath": false,
  "search.exclude": {
    "**/.history": true
  },
  "purescript.addSpagoSources": true,
  "nixEnvSelector.nixShellConfig": "NOT_MODIFIED_ENV"
}