1 \documentclass[twoside,
10pt
]{book
}
3 \def\mytitle{Task-Oriented Programming for the Internet of Things
}
4 \def\mysubtitle{a purely functional rhapsody
}
5 \def\myauthor{Mart Lubbers
}
6 \def\mydate{\formatdate{1}{6}{2023}}
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
}
45 \subfile{frontmatter/dedication
}
49 % Reset glossary and thus the acronyms
54 \renewcommand\partname{Movement
} % Rename parts to movements (rhapsody uhu)
55 \addthumb{Chapters
}{\arabic{chapter
}}{white
}{gray
} % Arabic chapter thumbs
56 \setcounter{chapter
}{-
1}
59 \subfile{introduction/introduction
}
62 \part{Domain-Specific Languages
}%
66 \subfile{domain_specific_languages/dsl_techniques
}
68 % Deep embedding with class
69 \subfile{domain_specific_languages/class_deep_embedding
}
71 % First-class data types
72 \subfile{domain_specific_languages/first-class_datatypes
}
74 \part{Task-Oriented Programming
}%
78 \subfile{task_oriented_programming/mtask_by_example
}
81 \subfile{task_oriented_programming/interpreting
}
84 \subfile{task_oriented_programming/integration
}
86 \part{Tiered vs.\ tierless programming
}%
89 \subfile{tiered_vs._tierless_programming/smart_campus
}
91 \chapter{Modelling naval scenaries using
\acrshort{TOP
} and
\acrshort{IOT
}}
92 Arjan's werk
{NLARMS
}?
97 \addthumb{Appendices
}{\Alph{chapter
}}{white
}{gray
} % Alpha appendix thumbs
99 \subfile{appendix/clean_for_haskell_programmers.tex
}
102 \addtitlethumb{Backmatter
}{}{white
}{gray
}{pagesLTS
.0} % Empty backmatter thumbs
106 \label{chp:bibliography
}
107 \addcontentsline{toc
}{chapter
}{Bibliography
}
108 \bibliography{thesis
}
111 \subfile{backmatter/summary
}
114 \subfile{backmatter/samenvatting
}
117 \subfile{backmatter/acknowledgements
}
119 % Research data management
120 \subfile{backmatter/research_data_management
}
123 \subfile{backmatter/curriculum_vitae
}
126 \addcontentsline{toc
}{chapter
}{Glossary
}%
127 \label{chp:glossaries
}
133 \label{chp:listsof...
}
134 \addcontentsline{toc
}{chapter
}{Lists of
\ldots}
137 \let\cleardoublepage\relax
145 \addcontentsline{toc
}{chapter
}{Index
}%