diff --git a/src/Typed.lagda b/src/Typed.lagda.broken
similarity index 100%
rename from src/Typed.lagda
rename to src/Typed.lagda.broken