chore: sort imports

the1lab · Nov 3, 2024 · 1cfb69b · 1cfb69b
1 parent 279a643
commit 1cfb69b
Show file tree

Hide file tree

Showing 7 changed files with 11 additions and 11 deletions.
diff --git a/src/Borceux.lagda.md b/src/Borceux.lagda.md
@@ -59,14 +59,14 @@ open import Cat.Functor.Subcategory
 open import Cat.Instances.Delooping
 open import Cat.Instances.StrictCat
 open import Cat.Morphism.Orthogonal
+open import Cat.Morphism.Strong.Epi
 open import Cat.Bi.Instances.Spans
 open import Cat.Diagram.Idempotent
 open import Cat.Diagram.Limit.Base
 open import Cat.Diagram.Limit.Cone
 open import Cat.Functor.Hom.Yoneda
 open import Cat.Functor.Properties
 open import Cat.Instances.Discrete
-open import Cat.Morphism.Strong.Epi
 open import Cat.Diagram.Equaliser
 open import Cat.Diagram.Separator
 open import Cat.Instances.Functor

diff --git a/src/Cat/Diagram/Projective/Strong.lagda.md b/src/Cat/Diagram/Projective/Strong.lagda.md
@@ -16,8 +16,8 @@ open import Data.Set.Surjection
 open import Data.Dec
 
 import Cat.Diagram.Separator.Strong
-import Cat.Diagram.Projective
 import Cat.Morphism.Strong.Epi
+import Cat.Diagram.Projective
 import Cat.Reasoning
 ```
 -->

diff --git a/src/Cat/Functor/Adjoint/Conservative.lagda.md b/src/Cat/Functor/Adjoint/Conservative.lagda.md
@@ -9,13 +9,13 @@ open import Cat.Diagram.Limit.Finite
 open import Cat.Functor.Conservative
 open import Cat.Functor.Properties
 open import Cat.Functor.Morphism
-open import Cat.Functor.Compose
 open import Cat.Functor.Adjoint
+open import Cat.Functor.Compose
 open import Cat.Prelude
 
 import Cat.Morphism.Strong.Epi
-import Cat.Natural.Reasoning
 import Cat.Functor.Reasoning
+import Cat.Natural.Reasoning
 import Cat.Reasoning
 ```
 -->

diff --git a/src/Cat/Functor/Adjoint/Epireflective.lagda.md b/src/Cat/Functor/Adjoint/Epireflective.lagda.md
@@ -4,18 +4,18 @@ description: |
 ---
 <!--
 ```agda
-open import Cat.Functor.Adjoint.Reflective
 open import Cat.Functor.Adjoint.Properties
+open import Cat.Functor.Adjoint.Reflective
 open import Cat.Morphism.Factorisation
 open import Cat.Functor.Properties
-open import Cat.Functor.Compose
 open import Cat.Functor.Adjoint
+open import Cat.Functor.Compose
 open import Cat.Prelude
 
 import Cat.Morphism.Strong.Mono
 import Cat.Morphism.Strong.Epi
-import Cat.Natural.Reasoning
 import Cat.Functor.Reasoning
+import Cat.Natural.Reasoning
 import Cat.Reasoning
 ```
 -->

diff --git a/src/Cat/Functor/Adjoint/Properties.lagda.md b/src/Cat/Functor/Adjoint/Properties.lagda.md
@@ -5,12 +5,12 @@ description: |
 <!--
 ```agda
 open import Cat.Functor.Properties
-open import Cat.Functor.Compose
 open import Cat.Functor.Adjoint
+open import Cat.Functor.Compose
 open import Cat.Prelude
 
-import Cat.Natural.Reasoning
 import Cat.Functor.Reasoning
+import Cat.Natural.Reasoning
 import Cat.Reasoning
 ```
 -->

diff --git a/src/Cat/Functor/Morphism.lagda.md b/src/Cat/Functor/Morphism.lagda.md
@@ -5,8 +5,8 @@ description: |
 ---
 <!--
 ```agda
-open import Cat.Functor.Properties
 open import Cat.Morphism.Strong.Epi
+open import Cat.Functor.Properties
 open import Cat.Morphism.Duality
 open import Cat.Functor.Adjoint
 open import Cat.Prelude

diff --git a/src/Cat/Functor/Properties.lagda.md b/src/Cat/Functor/Properties.lagda.md
@@ -5,8 +5,8 @@ open import Cat.Functor.Compose
 open import Cat.Functor.Base
 open import Cat.Prelude
 
-import Cat.Natural.Reasoning
 import Cat.Functor.Reasoning
+import Cat.Natural.Reasoning
 import Cat.Reasoning
 ```
 -->