Update .gitignore for Idris 2

DonJayamanne · Mar 15, 2021 · 4c55d7c · 4c55d7c
1 parent 218a941
commit 4c55d7c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Idris.gitignore b/Idris.gitignore
@@ -1,2 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
 *.ibc
 *.o