% Font encoding
\usepackage[T1,T2A]{fontenc}
+% standalone figures
+\usepackage[subpreambles=true]{standalone}
+
% Less bad boxes
\usepackage{microtype}
\usepackage{morewrites}
% Internationalisation
-\usepackage[british]{babel}
+\usepackage[dutch,russian,british]{babel}
%\babelfont[russian]{rm}{Liberation Serif}
% Appendices
% TODO is this necessary?
-\usepackage[titletoc]{appendix}
+%\usepackage[titletoc]{appendix}
% Hyperlinks
%\usepackage[pagebackref]{hyperref}
pdfsubject={},
% pdfcreator={},
% pdfproducer={},
- pdfkeywords={task oriented programming, functional programming, domain specific languages, internet of things},
+ pdfkeywords={task-oriented programming, functional programming, domain specific languages, internet of things},
hidelinks,
}
+\urlstyle{same}
+\usepackage{xmpincl}
+\includexmp{CC_Attribution-NoDerivatives_4.0_International}
% Graphics
\usepackage{graphicx}
% Images directory
\graphicspath{{img/}}
+%subfigures
+\usepackage{caption}
+\usepackage{subcaption}
% Nice tables
\usepackage{booktabs}
\usepackage{listings}
% General listings settings
\lstset{%
- basewidth=0.43em,
+ basewidth=0.45em,
basicstyle=\linespread{0.9}\tt\footnotesize,
breakatwhitespace=false,
breaklines=true,
showtabs=false,
stringstyle=\it,
tabsize=4,
- literate=%
- {~}{$\sim$}1
- {\\}{{$\lambda\:$}}1
- {->}{{$\shortrightarrow$}}2
- {<-}{{$\shortleftarrow$}}2
- {=>}{{$\Rightarrow$}}2
- {<=}{{$\Leftarrow$}}2
- {'}{{`}}1
- {...}{{$\cdots$}}1 %chktex 11
- {a0}{{a\textsubscript{0}}}2
- {a1}{{a\textsubscript{1}}}2
- {a2}{{a\textsubscript{2}}}2
-% {an}{{a\textsubscript{n}}}2
- {c0}{{c\textsubscript{0}}}2
- {c1}{{c\textsubscript{1}}}2
- {c2}{{c\textsubscript{2}}}2
- {cn}{{c\textsubscript{n}}}2
- {f0}{{f\textsubscript{0}}}2
- {f1}{{f\textsubscript{1}}}2
- {f2}{{f\textsubscript{2}}}2
- {fn}{{f\textsubscript{n}}}2
- {t0}{{t\textsubscript{0}}}2
- {t1}{{t\textsubscript{1}}}2
- {t2}{{t\textsubscript{2}}}2
- {tn}{{t\textsubscript{n}}}2
- {v0}{{v\textsubscript{0}}}2
- {v1}{{v\textsubscript{1}}}2
- {v2}{{v\textsubscript{2}}}2
- {vn}{{v\textsubscript{n}}}2
- {C0}{{C\textsubscript{0}}}2
- {C1}{{C\textsubscript{1}}}2
- {C2}{{C\textsubscript{2}}}2
- {Cn}{{C\textsubscript{n}}}2
- {R0}{{R\textsubscript{0}}}2
- {R1}{{R\textsubscript{1}}}2
- {R2}{{R\textsubscript{2}}}2
- {Rn}{{R\textsubscript{n}}}2
-}
-\lstdefinestyle{haskell}{%
- language=Haskell,
- deletekeywords={True,False,Bool,Int,Float,Double,zip,length,Show,show,Num,Eq,print,String},
-}
-\lstdefinelanguage{Clean}{%
- alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
- alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
- morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,code,In,qualified,otherwise},
- sensitive=true,
- morecomment=[l]{//},
- morecomment=[n]{/*}{*/},
- morestring=[b]", % chktex 18
- morestring=[s]{['}{']}, % chktex 9
+% literate=%
+% {a0}{{a\textsubscript{0}}}2
+% {a1}{{a\textsubscript{1}}}2
+% {a2}{{a\textsubscript{2}}}2
+%% {an}{{a\textsubscript{n}}}2
+% {c0}{{c\textsubscript{0}}}2
+% {c1}{{c\textsubscript{1}}}2
+% {c2}{{c\textsubscript{2}}}2
+% {cn}{{c\textsubscript{n}}}2
+% {f0}{{f\textsubscript{0}}}2
+% {f1}{{f\textsubscript{1}}}2
+% {f2}{{f\textsubscript{2}}}2
+% {fn}{{f\textsubscript{n}}}2
+% {t0}{{t\textsubscript{0}}}2
+% {t1}{{t\textsubscript{1}}}2
+% {t2}{{t\textsubscript{2}}}2
+% {tn}{{t\textsubscript{n}}}2
+% {v0}{{v\textsubscript{0}}}2
+% {v1}{{v\textsubscript{1}}}2
+% {v2}{{v\textsubscript{2}}}2
+% {vn}{{v\textsubscript{n}}}2
+% {C0}{{C\textsubscript{0}}}2
+% {C1}{{C\textsubscript{1}}}2
+% {C2}{{C\textsubscript{2}}}2
+% {Cn}{{C\textsubscript{n}}}2
+% {R0}{{R\textsubscript{0}}}2
+% {R1}{{R\textsubscript{1}}}2
+% {R2}{{R\textsubscript{2}}}2
+% {Rn}{{R\textsubscript{n}}}2
}
+\usepackage{lstlangclean}
+\usepackage{lstlanghaskell}
\newcommand{\cleaninline}[1]{\lstinline[language=Clean,postbreak=]|#1|}
\newcommand{\haskellinline}[1]{\lstinline[language=Haskell,style=haskell,postbreak=]|#1|}
% Fix list of listings title
\setlist{noitemsep}
\setlist[description]{leftmargin=\parindent}
-% Epigraph (lovecraft)
+% Epigraph
\usepackage{epigraph}
% Thumb marks on the page
% Easy references
\usepackage{cleveref}
-% Diagrams
-\usepackage{tikz}
-\usetikzlibrary{pie}
-
% To patch the chapter command
\usepackage{etoolbox}
% Have better page numbering in chapters
\newcommand{\GHCmod}[1]{\texttt{#1}}
\newcommand{\requiresGHCmod}[1]{\footnote{Requires \GHCmod{#1} to be enabled.}}
\newcommand{\etc}{{\fontfamily{cmr}\selectfont{\itshape\/\&c}}}
+\newcommand{\rdmentry}[6]{#1: #2 (#3): #4. #5.\ \href{https://doi.org/#6}{#6}}
+\newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)}
+\newcommand{\pkoopman}{Koopman, dr.\ P.\ (Radboud University)}
+\newcommand{\rplasmeijer}{Plasmeijer, prof.\ dr.\ ir.\ R.\ (Radboud University)}
+
+\bibliographystyle{alpha}
+
+\usepackage{subfiles}