diff --git a/prototyping/.gitignore b/prototyping/.gitignore
index cca4f464..9b9bad2c 100644
--- a/prototyping/.gitignore
+++ b/prototyping/.gitignore
@@ -3,4 +3,6 @@
 Main
 MAlonzo
 PrettyPrinter
+Interpreter
+Properties
 .ghc.*