diff --git a/.editorconfig b/.editorconfig
index bcdbb4d..191b482 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -63,3 +63,6 @@ indent_size = 2
 indent_style = space
 indent_size = 4
 
+
+[*.idr]
+indent_size = 2
diff --git a/.gitattributes b/.gitattributes
index c95d5eb..4c9213e 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -14,6 +14,9 @@
 *.adb   text eol=lf diff=ada
 *.ads   text eol=lf diff=ada
 *.hs    text eol=lf
+*.idr   text eol=lf linguist-language=Idris
+*.ipkg  text eol=lf
+*.ebnf  text eol=lf
 *.chpl  text eol=lf
 *.scm   text eol=lf
 *.a2ml  text eol=lf linguist-language=TOML