From 130dbc0d424d9eb6ade0932503d14a634039a558 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Wed, 30 Apr 2025 13:58:35 +0100 Subject: Correct TODO list. --- sec/encoding.ltx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sec/encoding.ltx') diff --git a/sec/encoding.ltx b/sec/encoding.ltx index b00213a..d4fc90c 100644 --- a/sec/encoding.ltx +++ b/sec/encoding.ltx @@ -185,8 +185,8 @@ performant as cons. \TODO{ \begin{itemize} + \item justify the index operator \item justify the head operator - \item justify the arb operator \end{itemize} } -- cgit v1.2.3