git.iko.soy/rowtype-yoga/psfp
on 133b502 help sign in
rowtype-yoga/psfp/.vscode/settings.json
20 lines 504 B history raw
1{
2 "editor.formatOnSave": false,
3 "regreplace.commands": [
4 {
5 "name": "replace double colon with unicode version",
6 "match": "\\.purs?$",
7 "regexp": " ::(\\s)",
8 "global": true,
9 "replace": " ∷$1"
10 },
11 {
12 "name": "replace forall with unicode version",
13 "match": "\\.purs?$",
14 "regexp": "forall(\\s)",
15 "global": true,
16 "replace": "∀$1"
17 },
18],
19"purescript.buildCommand": "spago build --purs-args '--json-errors'",