process todos

[phd-thesis.git] / top / lang.tex

diff --git a/top/lang.tex b/top/lang.tex
index 2e1b0de..243733e 100644 (file)
--- a/top/lang.tex
+++ b/top/lang.tex
@@ -371,7 +371,7 @@ The most rudimentary non-interactive basic tasks in the task language of \gls{MT
 They lift the value from the \gls{MTASK} expression language to the task domain either as a stable or unstable value.
 There is also a special type of basic task for delaying execution.
 The \cleaninline{delay} task---parametrised by a number of milliseconds---yields an unstable value while the time has not passed.
-Once the specified time has passed, the exact time the task overshot the target time is yielded as a stable task value.\todo{unclear?}
+Once the specified time has passed, the time the task overshot the target time is yielded as a stable task value.
 See \cref{sec:repeat} for an example task using \cleaninline{delay}.
 
 \begin{lstClean}[label={lst:basic_tasks},caption={Non-interactive basic tasks in \gls{MTASK}.}]
@@ -698,7 +698,6 @@ The language uses an enriched lambda calculus as a host language, providing addi
 Terms in the language are just interfaces and can be interpreted by one or more interpretations.
 When using the byte code compiler, terms in the \gls{MTASK} language are type checked at compile time but are constructed and compiled at run time.
 This facilitates tailor-making tasks for the current work requirements.
-\todo{would be nice to see an example of this}
 
 \input{subfilepostamble}
 \end{document}