From 39d8d75f719ef4fc30f8c0adc0a8c3b89a147da0 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Sat, 26 May 2018 16:22:30 -0300
Subject: [PATCH] moving broken file Typed

---
 src/{Typed.lagda.broken => extra/Typed.lagda} | 0
 src/fresh/Collections.lagda                   | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename src/{Typed.lagda.broken => extra/Typed.lagda} (100%)

diff --git a/src/Typed.lagda.broken b/src/extra/Typed.lagda
similarity index 100%
rename from src/Typed.lagda.broken
rename to src/extra/Typed.lagda
diff --git a/src/fresh/Collections.lagda b/src/fresh/Collections.lagda
index 9d8a2de2..4185bf5b 100644
--- a/src/fresh/Collections.lagda
+++ b/src/fresh/Collections.lagda
@@ -39,7 +39,7 @@ open import Relation.Nullary.Product using (_×-dec_)
 ## Collections
 
 \begin{code}
-module Collections (A : Set) (_≟_ : ∀ (x y : A) → Dec (x ≡ y)) where
+module fresh.Collections (A : Set) (_≟_ : ∀ (x y : A) → Dec (x ≡ y)) where
 
     Coll : Set → Set
     Coll A  =  List A