fix: fix link

TOTBWF · TOTBWF · commit 6f689ea75fa0 · 2023-05-04T17:54:48.000-07:00
diff --git a/src/Cat/Displayed/Functor/Vertical/Reasoning.lagda.md b/src/Cat/Displayed/Functor/Vertical/Reasoning.lagda.md
@@ -23,7 +23,7 @@ module Cat.Displayed.Functor.Vertical.Reasoning
 This module provides versions of the [functor reasoning combinators][func]
 that have been adapted to work with vertical functors.
 
-[func]: Cat.Functor.Reasoning
+[func]: Cat.Functor.Reasoning.html
 
 <!--
 ```agda
