diff --git a/prototyping/.gitignore b/prototyping/.gitignore
index 3c6b09d0..cca4f464 100644
--- a/prototyping/.gitignore
+++ b/prototyping/.gitignore
@@ -2,3 +2,5 @@
 *.agdai
 Main
 MAlonzo
+PrettyPrinter
+.ghc.*