purescript-backend-optimizer/.editorconfig