diff --git a/Curry.gitignore b/Curry.gitignore
new file mode 100644
index 00000000..44cd6016
--- /dev/null
+++ b/Curry.gitignore
@@ -0,0 +1,3 @@
+.cpm/
+.curry/
+Curry_Main_Goal.curry