fix: Misspelled author name

fix #349
hmemcpy · Jan 21, 2025 · 88775fe · 88775fe
1 parent 07fe322
commit 88775fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/content/1.9/function-types.tex b/src/content/1.9/function-types.tex
@@ -598,7 +598,7 @@ \section{Bibliography}
 \begin{enumerate}
   \tightlist
   \item
-        Ralph Hinze, Daniel W. H. James,
+        Ralf Hinze, Daniel W. H. James,
         \urlref{http://www.cs.ox.ac.uk/ralf.hinze/publications/WGP10.pdf}{Reason
           Isomorphically!}. This paper contains proofs of all those high-school
         algebraic identities in category theory that I mentioned in this