From da61232ab40eefdd6d8058ce74a65fef01f2ac04 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 21 May 2025 15:07:50 +0100
Subject: Reduce space used by todo item.

---
 sec/reducer.ltx | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'sec')

diff --git a/sec/reducer.ltx b/sec/reducer.ltx
index 56b24f2..9798692 100644
--- a/sec/reducer.ltx
+++ b/sec/reducer.ltx
@@ -11,11 +11,7 @@ steps of complete~development~\cite{cd} on a System~T term. The second
 program is the encoding from \lang{} to System~T. This takes a
 type-annotated \lang{} program and encodes it as a System~T term.
 
-\TODO{
-  \begin{itemize}
-    \item describe the syntactic sugar I have added
-  \end{itemize}
-}
+\TODO{describe the syntactic sugar I have added}
 
 \subsection{Fuelled System~T Reducer}%
 \label{subsec:reducer}
-- 
cgit v1.2.3