chore: update index

the1lab · Aug 4, 2023 · 4974d69 · 4974d69
1 parent 0fb0154
commit 4974d69
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/index.lagda.md b/src/index.lagda.md
@@ -603,6 +603,7 @@ the extra coherence that is necessary for specifying a bicategory.
 ```agda
 open import Cat.Allegory.Base -- The definition
 open import Cat.Allegory.Maps -- Functional relations in an allegory
+open import Cat.Allegory.Morphism -- Morphisms in allegories
 open import Cat.Allegory.Reasoning -- Reasoning combinators
 ```