Add editor config

This commit is contained in:
Emi Simpson 2022-11-05 15:51:57 -04:00
parent 2ff873b070
commit a7886e208e
Signed by: Emi
GPG Key ID: A12F2C2FFDC3D847
1 changed files with 3 additions and 0 deletions

3
.editorconfig Normal file
View File

@ -0,0 +1,3 @@
[*.purs]
indent_style = space
indent_size = 4