helicopter extension

[msc-thesis1617.git] / top.combinators.tex

diff --git a/top.combinators.tex b/top.combinators.tex
index 74686a1..8b39db9 100644 (file)
--- a/top.combinators.tex
+++ b/top.combinators.tex
@@ -1,8 +1,8 @@
-\Glspl{Task} can be combined using so called \gls{Task}-combinators.
-Combinators describe relations between \glspl{Task}. There are only two basic
-types of combinators; parallel and sequence. All other combinators are
-derived from the basic combinators. Type signatures of simplified versions of
-the basic combinators and their derivations are given in
+\Glspl{Task} in \gls{iTasks} can be combined using so called
+\gls{Task}-combinators.  Combinators describe relations between \glspl{Task}.
+There are only two basic types of combinators; parallel and sequence. All other
+combinators are derived from the basic combinators. Type signatures of
+simplified versions of the basic combinators and their derivations are given in
 Listing~\ref{lst:combinators}
 
 \begin{lstlisting}[%