From add6f06dcab4b83c8ed4fc3262069b5d35ae6d86 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 26 Jun 2025 17:34:56 +0100
Subject: Fix 764.

---
 sec/reducer.ltx | 2 --
 1 file changed, 2 deletions(-)

(limited to 'sec/reducer.ltx')

diff --git a/sec/reducer.ltx b/sec/reducer.ltx
index b5edb14..af90ad0 100644
--- a/sec/reducer.ltx
+++ b/sec/reducer.ltx
@@ -11,8 +11,6 @@ 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{describe the syntactic sugar I have added}
-
 \subsection{Fuelled System~T Reducer}%
 \label{subsec:reducer}
 
-- 
cgit v1.2.3

