X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Flang.tex;h=f7e9ec307cb37bea0c3b0b402934729ad175ef1c;hb=4c449b205b49b4773934bd5cfd22e0f15e199eeb;hp=a5916cdebd0ff393199b22ce9e290e4957272d52;hpb=e36fac1dc27e8fda89f7970d4e1eb1d49d73f47f;p=phd-thesis.git

diff --git a/top/lang.tex b/top/lang.tex
index a5916cd..f7e9ec3 100644
--- a/top/lang.tex
+++ b/top/lang.tex
@@ -4,7 +4,6 @@
 
 \begin{document}
 \input{subfileprefix}
-
 \chapter{The \texorpdfstring{\gls{MTASK}}{mTask} language}%\texorpdfstring{\glsxtrshort{DSL}}{DSL}}%
 \label{chp:mtask_dsl}
 \begin{chapterabstract}
@@ -52,11 +51,11 @@ The class constraints for values in \gls{MTASK} are omnipresent in all functions
 
 \begin{table}[ht]
 	\centering
-	\caption{Translation from \gls{CLEAN}/\gls{MTASK} data types to \gls{CPP} datatypes.}%
+	\caption{Translation from \gls{CLEAN}\slash\gls{MTASK} data types to \ccpp{} datatypes.}%
 	\label{tbl:mtask-c-datatypes}
 	\begin{tabular}{lll}
 		\toprule
-		\gls{CLEAN}/\gls{MTASK} & \gls{CPP} type & \textnumero{}bits\\
+		\gls{CLEAN}\slash\gls{MTASK} & \ccpp{} type & \textnumero{}bits\\
 		\midrule
 		\cleaninline{Bool}             & \cinline{bool}    & 16\\
 		\cleaninline{Char}             & \cinline{char}    & 16\\
@@ -370,6 +369,7 @@ task2 = declarePin D3 PMOutput \d3->{main=writeD d3 true}
 
 \subsection{Task combinators}
 Task combinators are used to combine multiple tasks to describe workflows.
+In contrast to \gls{ITASK}, that uses super combinators to derive the simpler ones, \gls{MTASK} has a set of simpler combinators from which more complicated workflow can be derived.
 There are three main types of task combinators, namely:
 \begin{enumerate*}
 	\item Sequential combinators that execute tasks one after the other, possibly using the result of the left hand side.