more updates

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

diff --git a/top/lang.tex b/top/lang.tex
index a5916cd..f7e9ec3 100644 (file)
--- 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.