Merge branch 'master' of git.martlubbers.net:msc-thesis1617

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

diff --git a/top.sds.tex b/top.sds.tex
index 2f30a85..72b44c8 100644 (file)
--- a/top.sds.tex
+++ b/top.sds.tex
@@ -13,14 +13,14 @@ for these functions are shown in Listing~\ref{lst:shares}. By default, all
 thus are persistent between restarts of the program. Library functions for
 shares residing in memory are available as well. The three main operations on
 shares are atomic in the sense that during reading no other \glspl{Task} are
-executed.  The system provides useful functions to transform, map and combine
+executed. The system provides useful functions to transform, map and combine
 \glspl{SDS} using combinators. The system also provides functionality to
-inspect the value of an \gls{SDS} and act upon a change. \Glspl{Task} waiting 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.
+inspect the value of an \gls{SDS} and act upon a change. \Glspl{Task} waiting
+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