From f272c949c8448aa20f6a1a7124ed893d6a02ff80 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 3 Jul 2017 01:18:24 +0200 Subject: [PATCH] small minor updates' --- arch.example.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 ?" [] -- 2.20.1