green

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

diff --git a/top/imp.tex b/top/imp.tex
index 88659b8..6dbd564 100644 (file)
--- a/top/imp.tex
+++ b/top/imp.tex
@@ -6,7 +6,7 @@
 
 \begin{document}
 \input{subfileprefix}
-\chapter{Implementation}%
+\chapter{The implementation of \texorpdfstring{\gls{MTASK}}{mTask}}%
 \label{chp:implementation}
 \begin{chapterabstract}
        This chapter shows the implementation of the \gls{MTASK} system by:
@@ -456,6 +456,8 @@ where
        rtrn m = m >>| tell` [BCMkTask (bcstable m)]
 \end{lstClean}
 
+\todo[inline]{uitleg delay}
+
 \subsection{Sequential combinator}\label{ssec:step}
 The \cleaninline{step} construct is a special type of task because the task value of the left-hand side may change over time.
 Therefore, the continuation tasks on the right-hand side are \emph{observing} this task value and acting upon it.