diff --git a/Idris.gitignore b/Idris.gitignore
index c28bc7cc..0f4e72c7 100644
--- a/Idris.gitignore
+++ b/Idris.gitignore
@@ -1,2 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
 *.ibc
 *.o