Tidy up formatting for the CPP-2024 reference

emilyriehl · Feb 13, 2024 · d9247e4 · d9247e4
1 parent 1ef60a4
commit d9247e4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -63,15 +63,15 @@ rzk typecheck
 
 [^1]:
     Emily Riehl & Michael Shulman. A type theory for synthetic ∞-categories.
-    Higher Structures 1(1), 147-224. 2017. https://arxiv.org/abs/1705.07442
+    Higher Structures 1(1), 147-224. 2017. <https://arxiv.org/abs/1705.07442>
 
 [^2]:
     Emily Riehl. Could ∞-category theory be taught to undergraduates? Notices of
     the AMS. May 2023.
-    https://www.ams.org/journals/notices/202305/noti2692/noti2692.html
+    <https://www.ams.org/journals/notices/202305/noti2692/noti2692.html>
 
 [^3]:
-    Nikolai Kudasov, Emily Riehl, Jonathan Weinberger, Formalizing the
+    Nikolai Kudasov, Emily Riehl, Jonathan Weinberger. Formalizing the
     ∞-Categorical Yoneda Lemma. CPP 2024: Proceedings of the 13th ACM SIGPLAN
     International Conference on Certified Programs and ProofsJanuary 2024Pages
-    274–290. https://dl.acm.org/doi/10.1145/3636501.3636945
+    274–290. <https://dl.acm.org/doi/10.1145/3636501.3636945>
diff --git a/src/index.md b/src/index.md
@@ -66,7 +66,7 @@ rzk typecheck
     <https://www.ams.org/journals/notices/202305/noti2692/noti2692.html>
 
 [^3]:
-    Nikolai Kudasov, Emily Riehl, Jonathan Weinberger, Formalizing the
+    Nikolai Kudasov, Emily Riehl, Jonathan Weinberger. Formalizing the
     ∞-Categorical Yoneda Lemma. CPP 2024: Proceedings of the 13th ACM SIGPLAN
     International Conference on Certified Programs and ProofsJanuary 2024Pages
-    274–290. https://dl.acm.org/doi/10.1145/3636501.3636945
+    274–290. <https://dl.acm.org/doi/10.1145/3636501.3636945>