diff --git a/Agda.gitignore b/Agda.gitignore
index 58ab67f0..3f1eedec 100644
--- a/Agda.gitignore
+++ b/Agda.gitignore
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
diff --git a/Lean.gitignore b/Lean.gitignore
new file mode 100644
index 00000000..d4aa2921
--- /dev/null
+++ b/Lean.gitignore
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/