diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-22 12:56:06 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-22 12:56:06 +0100 |
| commit | fd61c7a99ef3fae65891443da4d010f0a4004df3 (patch) | |
| tree | 41470877378aa7c514ed8155173e96331296d9d6 | |
| parent | a3e1369fae5befbc61499f83cee093dd1f4a290f (diff) | |
Update todos.
| -rw-r--r-- | sec/reducer.ltx | 2 |
1 files changed, 0 insertions, 2 deletions
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} |