X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mtask.control.tex;h=f57824530b8013b2b02cfc0d283e5b019a672d4c;hb=20ea9da4247313e4ce6e3a385e2975424c62ebfe;hp=680e10fa009c65d0336dd20fe56d131b13c8390f;hpb=6548a5ec9ce8e0df67fc4019625ab5238eb1bf71;p=msc-thesis1617.git

diff --git a/mtask.control.tex b/mtask.control.tex
index 680e10f..f578245 100644
--- a/mtask.control.tex
+++ b/mtask.control.tex
@@ -15,20 +15,12 @@ The sequence operator is straightforward and its only function is to tie
 two expressions together. The left expression is executed first, followed by
 the right expression.
 
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
 	label={lst:control},caption={Control flow operators}]
-class If v q r ~s where
-  If :: (v Bool p) (v t q) (v t r) -> v t s | ...
-
 class IF v where
   IF :: (v Bool p) (v t q) (v s r) -> v () Stmt | ...
   (?) infix 1 :: (v Bool p) (v t q) -> v () Stmt | ...
 
-instance If Code Stmt Stmt Stmt
-instance If Code e    Stmt Stmt
-instance If Code Stmt e    Stmt
-instance If Code x    y    Expr
-
 class seq v where
   (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | ...
 \end{lstlisting}