2 \usepackage[utf8
]{inputenc}
18 \usepackage[T1,T2A
]{fontenc}
21 \usepackage[subpreambles=true
]{standalone
}
24 \usepackage{microtype
}
26 % No more room for a new \write
27 \usepackage{morewrites
}
29 % Internationalisation
30 \usepackage[dutch,russian,british
]{babel
}
31 %\babelfont[russian]{rm}{Liberation Serif}
34 % TODO is this necessary?
35 \usepackage[titletoc
]{appendix
}
38 %\usepackage[pagebackref]{hyperref}
39 \usepackage[pagebackref
]{hyperref
}
40 % Setup pdf parameters: TODO
43 pdfauthor=
{\myauthor},
47 pdfkeywords=
{task oriented programming, functional programming, domain specific languages, internet of things
},
58 \usepackage{subcaption
}
63 % Automatically wrapping tables
66 % Use a fixed document date
67 \usepackage[nodayofweek
]{datetime
}
70 \usepackage{stmaryrd
} % Short arrow
72 % General listings settings
75 basicstyle=
\linespread{0.9}\tt\footnotesize,
76 breakatwhitespace=false,
81 escapeinside=
{(+
}{+)
},
% chktex 9
85 postbreak=
\mbox{\textcolor{gray
}{$
\hookrightarrow$
}\space},
87 showstringspaces=false,
92 % {a0}{{a\textsubscript{0}}}2
93 % {a1}{{a\textsubscript{1}}}2
94 % {a2}{{a\textsubscript{2}}}2
95 %% {an}{{a\textsubscript{n}}}2
96 % {c0}{{c\textsubscript{0}}}2
97 % {c1}{{c\textsubscript{1}}}2
98 % {c2}{{c\textsubscript{2}}}2
99 % {cn}{{c\textsubscript{n}}}2
100 % {f0}{{f\textsubscript{0}}}2
101 % {f1}{{f\textsubscript{1}}}2
102 % {f2}{{f\textsubscript{2}}}2
103 % {fn}{{f\textsubscript{n}}}2
104 % {t0}{{t\textsubscript{0}}}2
105 % {t1}{{t\textsubscript{1}}}2
106 % {t2}{{t\textsubscript{2}}}2
107 % {tn}{{t\textsubscript{n}}}2
108 % {v0}{{v\textsubscript{0}}}2
109 % {v1}{{v\textsubscript{1}}}2
110 % {v2}{{v\textsubscript{2}}}2
111 % {vn}{{v\textsubscript{n}}}2
112 % {C0}{{C\textsubscript{0}}}2
113 % {C1}{{C\textsubscript{1}}}2
114 % {C2}{{C\textsubscript{2}}}2
115 % {Cn}{{C\textsubscript{n}}}2
116 % {R0}{{R\textsubscript{0}}}2
117 % {R1}{{R\textsubscript{1}}}2
118 % {R2}{{R\textsubscript{2}}}2
119 % {Rn}{{R\textsubscript{n}}}2
121 \usepackage{lstlangclean
}
122 \usepackage{lstlanghaskell
}
123 \newcommand{\cleaninline}[1]{\lstinline[language=Clean,postbreak=
]|
#1|
}
124 \newcommand{\haskellinline}[1]{\lstinline[language=Haskell,style=haskell,postbreak=
]|
#1|
}
125 % Fix list of listings title
126 \renewcommand{\lstlistlistingname}{List of Listings
}
127 % Fix list of listings chapter separator
129 \let\my@chapter\@chapter
%
130 \renewcommand*
{\@chapter
}{%
131 \addtocontents{lol
}{\protect\addvspace{10pt
}}%
135 \lstnewenvironment{lstClean
}[1][]
137 \lstset{language=Clean,
#1}
138 \renewcommand*
{\lstlistingname}{Listing (Clean)
}
141 \lstnewenvironment{lstHaskell
}[1][]
143 \lstset{language=Haskell,style=haskell,
#1}%
144 \renewcommand*
{\lstlistingname}{Listing (Haskell)
}
148 % Glossaries and acronyms
149 \usepackage[acronym,nonumberlist
]{glossaries
}
150 % Fix gls in hyperlink errors
151 \pdfstringdefDisableCommands{%
166 \def\glsentrytext#1{}%
169 \def\Glsentrytext#1{}%
174 \usepackage{titlecaps
}
176 % Titlecase glossary command
177 \newcommand{\glst}[1]{\titlecap{\glsentrylong{#1}}}
178 \newcommand{\Glst}[1]{\glst{#1}}
181 \usepackage[algochapter
]{algorithm2e
}
182 % Fix the algorithm font
183 \renewcommand\AlCapFnt{\normalfont}
190 % Custom enumerations
191 \usepackage[inline,shortlabels
]{enumitem
}
193 \setlist[description
]{leftmargin=
\parindent}
195 % Epigraph (lovecraft)
196 \usepackage{epigraph
}
198 % Thumb marks on the page
203 topthumbmargin=
{auto
},
204 bottomthumbmargin=
{auto
},
205 eventxtindent=
{.5cm
},
206 oddtxtexdent=
{.3cm
}]{thumbs
}
208 % Custom headers and footers
209 \usepackage{fancyhdr
}
212 % Tables spanning pages
213 \usepackage{longtable
}
216 \usepackage{cleveref
}
218 % To patch the chapter command
219 \usepackage{etoolbox
}
220 % Have better page numbering in chapters
221 \patchcmd{\chapter}{plain
}{headings
}{}{}
223 % Increase the depth for the table of contents
224 \setcounter{secnumdepth
}{3}
225 \renewcommand{\contentsname}{Table of Contents
} % change the name of the TOC
226 \AtBeginDocument{\addtocontents{toc
}{\protect\thispagestyle{empty
}}} % to remove page numbering from the TOC
228 % Initialize the glossaries
233 \newcommand{\GHCmod}[1]{\texttt{#1}}
234 \newcommand{\requiresGHCmod}[1]{\footnote{Requires
\GHCmod{#1} to be enabled.
}}
235 \newcommand{\etc}{{\fontfamily{cmr
}\selectfont{\itshape\/\&c
}}}
236 \newcommand{\rdmentry}[6]{#1:
#2 (
#3):
#4.
#5.\
\href{https://doi.org/
#6}{#6}}
237 \newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)
}
238 \newcommand{\pkoopman}{Koopman, dr.\ P.\ (Radboud University)
}
239 \newcommand{\rplasmeijer}{Plasmeijer, prof.\ dr.\ ir.\ R.\ (Radboud University)
}
241 \bibliographystyle{alpha
}
243 \usepackage{subfiles
}