repositories
/
msc-thesis1617.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
subsection
[msc-thesis1617.git]
/
mtask.control.tex
diff --git
a/mtask.control.tex
b/mtask.control.tex
index
1bf3900
..
f578245
100644
(file)
--- a/
mtask.control.tex
+++ b/
mtask.control.tex
@@
-15,7
+15,7
@@
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.
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 where
IF :: (v Bool p) (v t q) (v s r) -> v () Stmt | ...
label={lst:control},caption={Control flow operators}]
class IF v where
IF :: (v Bool p) (v t q) (v s r) -> v () Stmt | ...