From a7886e208e11985364acb11b9960e30717dc7c8f Mon Sep 17 00:00:00 2001 From: Emi Simpson Date: Sat, 5 Nov 2022 15:51:57 -0400 Subject: [PATCH] Add editor config --- .editorconfig | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .editorconfig 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