diff --git a/Idris.gitignore b/Idris.gitignore
new file mode 100644
index 00000000..8ae64a37
--- /dev/null
+++ b/Idris.gitignore
@@ -0,0 +1,7 @@
+*.ibc
+*.o
+cabal-dev
+.cabal-sandbox/
+cabal.sandbox.config
+cabal.config
+dist