From 68c23ebd78d15aa3db703088abe42ce3bee50de2 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Sun, 15 Apr 2018 09:41:28 +0100
Subject: [PATCH] Fixed link to extensionality in Lists

---
 src/Lists.lagda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lists.lagda b/src/Lists.lagda
index f30e4679..0e1abd6a 100644
--- a/src/Lists.lagda
+++ b/src/Lists.lagda
@@ -30,7 +30,7 @@ postulate
   extensionality : ∀ {A B : Set} {f g : A → B} → (∀ (x : A) → f x ≡ g x) → f ≡ g
 \end{code}
 
-[extensionality]: Equality/index.html#extensionality
+[extensionality]: Equality#extensionality
 
 
 ## Lists