From 59803a18304ec64a0d78b5523a1e3aa7acfd1d53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Favier?= <n@monade.li>
Date: Sun, 30 Jun 2024 11:16:00 +0200
Subject: [PATCH] =?UTF-8?q?chore:=20rename=20FinSet=20=E2=86=92=20FinSets?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/Cat/Instances/{FinSet.lagda.md => FinSets.lagda.md} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename src/Cat/Instances/{FinSet.lagda.md => FinSets.lagda.md} (99%)

diff --git a/src/Cat/Instances/FinSet.lagda.md b/src/Cat/Instances/FinSets.lagda.md
similarity index 99%
rename from src/Cat/Instances/FinSet.lagda.md
rename to src/Cat/Instances/FinSets.lagda.md
index c8b27fa69..452a40c69 100644
--- a/src/Cat/Instances/FinSet.lagda.md
+++ b/src/Cat/Instances/FinSets.lagda.md
@@ -23,7 +23,7 @@ open Functor
 -->
 
 ```agda
-module Cat.Instances.FinSet where
+module Cat.Instances.FinSets where
 ```
 
 # The category of finite sets