2 \newcommand{\GHCmod}[1]{\texttt{#1}}
3 \newcommand{\aramsingh}{Ramsingh, A.\ (University of Glasgow)
}
4 \newcommand{\dcolon}[0]{\mathbin{::
}}
5 \newcommand{\doifmt}[1]{\href{https://doi.org/
#1}{#1}}
6 \newcommand{\etc}{{\fontfamily{cmr
}\selectfont{\itshape\/\&
\kern-
0.2em c
}}}
7 \newcommand{\jsinger}{Singer, dr.\ J.\ (University of Glasgow)
}
8 \newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)
}
9 \newcommand{\pkoopman}{Koopman, dr.\ P.\ (Radboud University)
}
10 \newcommand{\ptrinder}{Trinder, prof.~dr.\ P.\ (University of Glasgow)
}
11 \newcommand{\rdmentry}[5]{#1 (
#2):
#3.
#4.\
\doifmt{#5}}
12 \newcommand{\rewriterate}[2]{\langle{}\mathit{#1},
\mathit{#2}\rangle{}}
13 \newcommand{\requiresGHCmod}[2][]{\footnote{Requires
\GHCmod{#2} to be enabled.
#1}}
14 \newcommand{\rplasmeijer}{Plasmeijer, prof.\ dr.\ ir.\ R.\ (Radboud University)
}
15 \newcommand{\erasmusplus}{ERASMUS
\raisebox{.25ex
}{+
}}
16 \newcommand{\imtask}{\gls{ITASK
}\slash\gls{MTASK
}}
17 \newcommand{\citask}{\gls{CLEAN
}\slash\gls{ITASK
}}
18 \newcommand{\Citask}{\Gls{CLEAN
}\slash\gls{ITASK
}}
19 \newcommand{\cmtask}{\gls{CLEAN
}\slash\gls{MTASK
}}
20 \newcommand{\Cmtask}{\Gls{CLEAN
}\slash\gls{MTASK
}}
21 \newcommand{\cimtask}{\gls{CLEAN
}\slash\gls{ITASK
}\slash\gls{MTASK
}}
22 \newcommand{\Cimtask}{\Gls{CLEAN
}\slash\gls{ITASK
}\slash\gls{MTASK
}}
23 \newcommand{\ccpp}{\texorpdfstring{\gls{C
}\slash\gls{CPP
}}{C
\slash{}C
\texttt{++
}}}
24 \newcommand{\Ccpp}{\texorpdfstring{\Gls{C
}\slash\gls{CPP
}}{C
\slash{}C
\texttt{++
}}}
25 \newcommand{\stacksize}[1]{\parallel#1\parallel}
28 \newenvironment{compilationscheme
}
29 {\allowdisplaybreaks\startalign}
repositories / phd-thesis.git / blob