From fd61c7a99ef3fae65891443da4d010f0a4004df3 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 22 May 2025 12:56:06 +0100
Subject: Update todos.

---
 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 2eaca08..1751b91 100644
--- a/sec/reducer.ltx
+++ b/sec/reducer.ltx
@@ -139,8 +139,6 @@ type-annotated terms.
 
 \TODO{
   \begin{itemize}
-    \item describe the inputs to the embedding
-    \item describe the output of the embedding
     \item show a ``non-destructive'' fold
     \item justify use of destructive folds
   \end{itemize}
-- 
cgit v1.2.3

