commit b2bc9625fc8e7233ff97bb5e24515199c852e6ea parent b7a012800c4d13411055cea5e1ea4913db10601b Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz> Date: Wed, 7 Feb 2024 12:35:11 -0500 TODO: Reference display style. Diffstat:
| M | TODO.md | | | 4 | ++++ |
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/TODO.md b/TODO.md @@ -13,3 +13,7 @@ Texified properly. them. * Figure out the best way to format the formal syntax and semantics. + +* Decide how to display bibliography references. Since the references + section is final and there won't be any more added, we could + hand-number them. Currently, they show as anchor names.