X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=preamble.tex;h=3320aa33703391f0ff1c0616819cf2313d79c6d0;hb=8a2e750b77b5d35c7eb7a96c647b7e5e1fec943a;hp=a8baf2bce3a0d256d9771d3a2dc2b040ab4d8f85;hpb=c6fa9017e897e847334aeee2cec0b9aadec6f7c5;p=phd-thesis.git

diff --git a/preamble.tex b/preamble.tex
index a8baf2b..3320aa3 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -17,6 +17,9 @@
 % Font encoding
 \usepackage[T1,T2A]{fontenc}
 
+% standalone figures
+\usepackage[subpreambles=true]{standalone}
+
 % Less bad boxes
 \usepackage{microtype}
 
@@ -24,12 +27,12 @@
 \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}
@@ -41,14 +44,20 @@
 	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}
@@ -64,7 +73,7 @@
 \usepackage{listings}
 % General listings settings
 \lstset{%
-	basewidth=0.43em,
+	basewidth=0.45em,
 	basicstyle=\linespread{0.9}\tt\footnotesize,
 	breakatwhitespace=false,
 	breaklines=true,
@@ -81,58 +90,38 @@
 	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
@@ -205,7 +194,7 @@
 \setlist{noitemsep}
 \setlist[description]{leftmargin=\parindent}
 
-% Epigraph (lovecraft)
+% Epigraph
 \usepackage{epigraph}
 
 % Thumb marks on the page
@@ -228,10 +217,6 @@
 % Easy references
 \usepackage{cleveref}
 
-% Diagrams
-\usepackage{tikz}
-\usetikzlibrary{pie}
-
 % To patch the chapter command
 \usepackage{etoolbox}
 % Have better page numbering in chapters
@@ -250,3 +235,11 @@
 \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}