1 \documentclass[twoside,
10pt
]{book
}
3 \def\mytitle{Orchestrating the Internet of Things with Task-Oriented Programming
}
4 \def\mysubtitle{a purely functional rhapsody
}
5 \def\myauthor{Mart Lubbers
}
6 \def\mydate{\formatdate{31}{12}{2022}}
10 % To show hboxes even when in non-draft mode
13 % Just for the todonotes, can go when it's finished
14 \usepackage{todonotes
}
16 backgroundcolor=white,
22 \title{\mytitle{} ---
\mysubtitle{}}
28 \selectlanguage{british
}
31 %\addtitlethumb{Frontmatter}{}{white}{gray}{pagesLTS.0}
34 \subfile{frontmatter/titlepage
}
38 \subfile{frontmatter/motto
}
41 %\setcounter{tocdepth}{1}
43 \todo{reduce
tocdepth to
1 before finishing
}
47 \subfile{frontmatter/dedication
}
51 % Reset glossary and thus the acronyms
56 \addthumb{Chapters
}{\arabic{chapter
}}{white
}{gray
} % Arabic chapter thumbs
57 \setcounter{chapter
}{-
1}
60 \subfile{introduction/introduction
}
63 \part[Prelude: Domain-Specific Languages
]{Prelude\
\Domain-Specific Languages
}%
67 \subfile{domain-specific_languages/dsl_techniques
}
69 % Deep embedding with class
70 \subfile{domain-specific_languages/class_deep_embedding
}
72 % First-class data types
73 \subfile{domain-specific_languages/first-class_datatypes
}
76 \subfile{domain-specific_languages/strongly-typed_multi-view_stack-based_computations
}
78 \part[Exposition: Task-Oriented Internet of Things Programming
]{Exposition\
\Task-Oriented Internet of Things Programming
}%
83 \part[Transformation: Tiered vs.\ tierless programming
]{Transformation\
\Tiered vs.\ tierless programming
}%
86 \subfile{tiered_vs._tierless_programming/smart_campus
}
88 \bookmarksetup{startatroot
} % descend back out of the previous part
89 \addtocontents{toc
}{\bigskip}% Insert some whitespace to make the TOC better
90 \subfile{conclusion/conclusion
}
95 \addcontentsline{toc
}{part
}{Appendix
}
96 \addthumb{Appendices
}{\Alph{chapter
}}{white
}{gray
} % Alpha appendix thumbs
98 \subfile{appendix/clean_for_haskell_programmers
}
99 \subfile{appendix/bytecode
}
102 \bookmarksetup{startatroot
} % descend back out of the appendix
103 \addtitlethumb{Backmatter
}{}{white
}{gray
}{pagesLTS
.0} % Empty backmatter thumbs
107 \label{chp:bibliography
}
108 \addcontentsline{toc
}{chapter
}{Bibliography
}
109 \bibliography{other,self
}
112 \subfile{backmatter/summary
}
115 \subfile{backmatter/samenvatting
}
118 \subfile{backmatter/acknowledgements
}
120 % Research data management
121 \subfile{backmatter/research_data_management
}
124 \subfile{backmatter/curriculum_vitae
}
127 \addcontentsline{toc
}{chapter
}{Glossary
}%
128 \label{chp:glossaries
}
134 \label{chp:listsof...
}
135 \addcontentsline{toc
}{chapter
}{Lists of
\ldots}
138 \let\cleardoublepage\relax
146 \addcontentsline{toc
}{chapter
}{Index
}%