X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=top.combinators.tex;h=a60dab04dd81f76a83d7ffa1236fc8fdeff8fa56;hb=2498dced580be1e7af31a662dadee26c4fd159ed;hp=74686a110c39743fa0bf8603fe54a4d435fad00a;hpb=35a1897c4e5381ab975188e8e087ea1612e142dd;p=msc-thesis1617.git

diff --git a/top.combinators.tex b/top.combinators.tex
index 74686a1..a60dab0 100644
--- a/top.combinators.tex
+++ b/top.combinators.tex
@@ -1,11 +1,11 @@
-\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}[%
+\begin{lstlisting}[language=Clean,%
 	caption={\Gls{Task}-combinators},label={lst:combinators}]
 //Step combinator
 (>>=)  infixl 1 :: (Task a) (a -> Task b)         -> Task b   | iTask a & iTask b