From: Matthijs Kooijman Date: Fri, 4 Dec 2009 12:53:26 +0000 (+0100) Subject: Remove todo. X-Git-Tag: final-thesis~106 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=f276067e08b153e130b305242a4e2ef87e84960a;p=matthijs%2Fmaster-project%2Freport.git Remove todo. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 37895b3..6117008 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -2244,7 +2244,6 @@ Also, since there is only one node in the normal set, it must obviously be \emph{deterministic} as well. - \todo{Add content to these sections} \subsection{Termination} In general, proving termination of an arbitrary program is a very hard problem. \todo{Ref about arbitrary termination} Fortunately,