X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top.combinators.tex;h=a60dab04dd81f76a83d7ffa1236fc8fdeff8fa56;hb=HEAD;hp=8b39db9021f06f1c986a0e5132a9b67ba210378a;hpb=4bb4ae51e1199aa618d8765b0bc429fba9055140;p=msc-thesis1617.git diff --git a/top.combinators.tex b/top.combinators.tex index 8b39db9..a60dab0 100644 --- a/top.combinators.tex +++ b/top.combinators.tex @@ -5,7 +5,7 @@ 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