From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 2 Jul 2017 23:18:24 +0000 (+0200)
Subject: small minor updates'
X-Git-Tag: hand-in~16
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f272c949c8448aa20f6a1a7124ed893d6a02ff80;p=msc-thesis1617.git

small minor updates'
---

diff --git a/arch.example.tex b/arch.example.tex
index a5f3684..b2ecc58 100644
--- a/arch.example.tex
+++ b/arch.example.tex
@@ -23,7 +23,7 @@ w =         makeDevice "dev1" (...) >>= connectDevice
 \subsection{Thermostat}
 The thermostat is a classic example program for showing interactions between
 peripherals. The following program shows a system containing two devices. The
-first device --- the sensor -- contains a temperature sensor that measures the
+first device --- the sensor --- contains a temperature sensor that measures the
 room temperature. The second device --- the actor --- contains a heater,
 connected to the digital pin \CI{D5}. Moreover, this device contains a led to
 indicate whether the heater is on. The following code shows an implementation
@@ -71,8 +71,8 @@ where
 	taskRemoved t d = isNothing $ find (\t1->t1.ident==t.ident) d.deviceTasks
 \end{lstlisting}
 
-The factorial example can then be lifted to a real \gls{iTasks}-\gls{mTask}
-with the following code:
+The factorial function example from Chapter~\ref{chp:mtaskcont} can then be
+lifted to a real \gls{iTasks}-\gls{mTask} with the following code:
 \begin{lstlisting}[caption={Lifting the factorial \gls{Task} to \gls{iTasks}}]
 factorial :: MTaskDevice -> Task BCValue
 factorial dev = enterInformation "Factorial of ?" []