{
  "[purescript]": {
    "editor.formatOnSave": false
  }
}