diff options
| -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} |