\def\mytitle{Orchestrating the Internet of Things\texorpdfstring{\\}{ }with Task-Oriented Programming}
\def\mysubtitle{a purely functional rhapsody}
\def\myauthor{Mart Lubbers}
-\def\mydate{\formatdate{31}{12}{2022}}
+\def\mydate{\formatdate{1}{2}{2023}}
\input{preamble}
% To show hboxes even when in non-draft mode
%\overfullrule=1pt
-\showboxdepth=\maxdimen%
-\showboxbreadth=\maxdimen%
+%\showboxdepth=\maxdimen%
+%\showboxbreadth=\maxdimen%
% \showboxdepth=5
% \showboxbreadth=5
\setlength{\overfullrule}{20pt}
\subfile{dsl/class} % Deep embedding with class
\subfile{dsl/first} % First-class data types
-\part[\hspace{-9pt}Orchestrating the Internet of Things using Task-Oriented Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-Oriented Programming}%
+\part[\hspace{-8.28992pt}Orchestrating the Internet of Things using Task-Oriented Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-Oriented Programming}%
\label{prt:top}
\subfile{top/4iot} % TOP for the IoT
\subfile{top/lang} % mTask DSL
-\subfile{top/int} % Integration with iTask
\subfile{top/imp} % Implementation
+\subfile{top/int} % Integration with iTask
\subfile{top/green} % Green computing
\subfile{top/finale} % Conclusion