diff --git a/src/Translation/BCC-to-CCC.lagda.md b/src/Translation/Deprecated/BCC-to-CCC.lagda.md
similarity index 100%
rename from src/Translation/BCC-to-CCC.lagda.md
rename to src/Translation/Deprecated/BCC-to-CCC.lagda.md
diff --git a/src/Translation/CCC-to-BCC.lagda.md b/src/Translation/Deprecated/CCC-to-BCC.lagda.md
similarity index 100%
rename from src/Translation/CCC-to-BCC.lagda.md
rename to src/Translation/Deprecated/CCC-to-BCC.lagda.md