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