r7rs-small-texinfo

Unnamed repository; edit this file 'description' to name the repository.
git clone https://kaka.farm/~git/r7rs-small-texinfo
Log | Files | Refs
commit 9c250a0d8c09be3f8f019b953a415f8c0f884d6f
parent baeb07fef4d9ea306348fb44fb425cc103b8d077
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Mon,  5 Feb 2024 19:41:02 -0500

Add TODO.

Diffstat:

MTODO.md | 2++


1 file changed, 2 insertions(+), 0 deletions(-)

diff --git a/TODO.md b/TODO.md
@@ -11,3 +11,5 @@ Texified properly.
 
 * Indexes. Decide how many Texinfo indexes we want, then populate
   them.
+
+* Figure out the best way to format the formal syntax and semantics.