X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fimp.tex;h=6dbd5646edac19d7b576a52367c7bb83cc65f026;hb=5bc326c89f63bd6eab3e09ddc83006021745e1f2;hp=88659b895b7f13b045686d1d1e1f08cb050173fd;hpb=c1b9a0995445470a66854861c04df440b7d7ffb3;p=phd-thesis.git

diff --git a/top/imp.tex b/top/imp.tex
index 88659b8..6dbd564 100644
--- 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.