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