diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..e8f26d7 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,3 @@ +[*.purs] +indent_style = space +indent_size = 4