fixed some docs

AlgebraicJulia · Oct 17, 2023 · 3b9e304 · 3b9e304
1 parent efae01d
commit 3b9e304
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/src/index.md b/docs/src/index.md
@@ -58,7 +58,7 @@ diagrams, Petri nets, and the like.
 
 ### What is a GAT?
 
-See [GATlab documentation](https://algebraicjulia.github.io/Gatlab.jl)
+See [GATlab documentation](https://algebraicjulia.github.io/GATlab.jl)
 
 ## Conventions
 

diff --git a/src/theories/MonoidalAdditive.jl b/src/theories/MonoidalAdditive.jl
@@ -148,7 +148,7 @@ end
 
 """ Theory of *monoidal categories with bidiagonals*, in additive notation
 
-Mathematically the same as (@ref) but
+Mathematically the same as [`ThMonoidalCategoryWithBidiagonals`](@ref) but
 written additively, instead of multiplicatively.
 """
 @theory ThMonoidalCategoryWithBidiagonalsAdditive <: