diff --git a/Agda.gitignore b/Agda.gitignore
index 171a3897..58ab67f0 100644
--- a/Agda.gitignore
+++ b/Agda.gitignore
@@ -1 +1,2 @@
 *.agdai
+MAlonzo/**