diff --git a/.gitignore b/.gitignore
index 502124e..1fbe28c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 *.agdai
 *.agda~
+*.DS_Store
diff --git a/src/Realizability/.DS_Store b/src/Realizability/.DS_Store
deleted file mode 100644
index dd3e44d..0000000
Binary files a/src/Realizability/.DS_Store and /dev/null differ
diff --git a/src/Realizability/Tripos/.DS_Store b/src/Realizability/Tripos/.DS_Store
deleted file mode 100644
index c433bd0..0000000
Binary files a/src/Realizability/Tripos/.DS_Store and /dev/null differ