summaryrefslogtreecommitdiff
path: root/sec/reducer.ltx
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2025-05-21 15:07:50 +0100
committerChloe Brown <chloe.brown.00@outlook.com>2025-05-21 15:07:50 +0100
commitda61232ab40eefdd6d8058ce74a65fef01f2ac04 (patch)
treef5caabf44e113b5d1503bfc50c91000d6f0b5a6e /sec/reducer.ltx
parent84c45da603f38a7cd4e691386778920d30fe9047 (diff)
Reduce space used by todo item.
Diffstat (limited to 'sec/reducer.ltx')
-rw-r--r--sec/reducer.ltx6
1 files changed, 1 insertions, 5 deletions
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}