process the rest of Pieter's comments

[phd-thesis.git] / intro / intro.tex

diff --git a/intro/intro.tex b/intro/intro.tex
index 5977fde..6be118d 100644 (file)
--- a/intro/intro.tex
+++ b/intro/intro.tex
@@ -17,6 +17,7 @@
        \end{itemize}
 \end{chapterabstract}
 
+\todo[inline]{Brackets upright in listings?}
 This dissertation is about orchestrating \gls{IOT} systems harmlessly and efficiently.
 \todo{beter?}
 There are at least 13.4 billion devices connected to the internet at the time of writing \citep{transforma_insights_current_2023}.
@@ -354,7 +355,7 @@ This task first defines \gls{GPIO} pin 13 to be of the output type (\cref{lst:in
 Then the \gls{ITASK} \gls{SDS} is lifted to an \gls{MTASK} \gls{SDS} (\cref{lst:intro:liftsds}), enabling the machinery to keep the \gls{SDS} in sync both on the device and the server.
 The main expression of the program calls the \cleaninline{blink} function with an initial state.
 This function on \crefrange{lst:intro:blink_fro}{lst:intro:blink_to} first reads the interval \gls{SDS}, waits the specified delay, writes the state to the \gls{GPIO} pin, and calls itself recursively using the inverse of the state in order to run continuously.
-The \cleaninline{>>|.} operator denotes the sequencing of tasks in \gls{MTASK}.
+The \cleaninline{>>\|.} operator denotes the sequencing of tasks in \gls{MTASK}.
 
 \cleaninputlisting[float={!ht},linerange={23-,25-33},numbers=left,caption={The \gls{MTASK} code for the interactive blinking application.},label={lst:intro_blink_mtask}]{lst/blink.icl} %chktex 8
 \todo[inline]{Meer wit rondom =jes, doornummeren?}