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