fix listings, process comments

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

diff --git a/top.sds.tex b/top.sds.tex
index 95b3ace..72b44c8 100644 (file)
--- a/top.sds.tex
+++ b/top.sds.tex
@@ -20,7 +20,7 @@ on an \gls{SDS} to change are notified when needed. This results in low
 resource usage because \glspl{Task} are never constantly inspecting \gls{SDS}
 values but are notified.
 
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
        label={lst:shares},caption={\Gls{SDS} functions}]
 :: RWShared p r w = ... 
 :: ReadWriteShared r w :== RWShared () r w
@@ -65,7 +65,7 @@ programmer to fix a parametric lens value. \CI{sdsLens} is a kind of
 the creation of, for example, \glspl{SDS} that only read and write to parts of
 the original \gls{SDS}.
 
-\begin{lstlisting}[label={lst:focus},
+\begin{lstlisting}[language=Clean,label={lst:focus},
        caption={Parametric lens functions}]
 sdsFocus :: p (RWShared p r w) -> RWShared p` r w | iTask p