diff --git a/Idris.gitignore b/Idris.gitignore
new file mode 100644
index 0000000..c28bc7c
--- /dev/null
+++ b/Idris.gitignore
@@ -0,0 +1,2 @@
+*.ibc
+*.o