diff options
Diffstat (limited to 'sec')
| -rw-r--r-- | sec/reducer.ltx | 6 |
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} |