From 130dbc0d424d9eb6ade0932503d14a634039a558 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
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

