thesis.tex

%%% The main file. It contains definitions of basic parameters and includes all other parts.

% Configuration flag for printing in colour or black/white
% Comment out for black/white
\newcommand*{\colourflag}{}

\include{common} % Information that is shared with generation of thesis abstract

%% Settings for single-side (simplex) printing
% Margins: left 40mm, right 25mm, top and bottom 25mm
% (but beware, LaTeX adds 1in implicitly)
\documentclass[12pt,a4paper,x11names]{report}
\setlength\textwidth{145mm}
\setlength\textheight{247mm}
\setlength\oddsidemargin{15mm}
\setlength\evensidemargin{15mm}
\setlength\topmargin{0mm}
\setlength\headsep{0mm}
\setlength\headheight{0mm}
% \openright makes the following text appear on a right-hand page
\let\openright=\clearpage

%% Settings for two-sided (duplex) printing
% \documentclass[12pt,a4paper,twoside,openright]{report}
% \setlength\textwidth{145mm}
% \setlength\textheight{247mm}
% \setlength\oddsidemargin{14.2mm}
% \setlength\evensidemargin{0mm}
% \setlength\topmargin{0mm}
% \setlength\headsep{0mm}
% \setlength\headheight{0mm}
% \let\openright=\cleardoublepage

\usepackage[a-2u]{pdfx} % generate PDF/A-2u
\usepackage{graphicx}   % embedding of pictures
\usepackage{fancyvrb}   % improved verbatim environment
\usepackage[square]{natbib}
\usepackage[nottoc]{tocbibind} % makes sure that bibliography, etc. are in TOC
\usepackage{hyperref}   % hypertext
\usepackage{enumitem}   % custom enumeration labels
\usepackage{multirow}   % columns spanning multiple rows
\usepackage{xspace}     % define commands that appear not to eat spaces
\usepackage{xcolor}     % text colour
\usepackage{xparse}

% Maths
\usepackage{mathpartir} % inference rules
\usepackage{cmll}       % linear logic symbols with proper spacing
\usepackage{amsmath}
\usepackage{amssymb}    % blackboard bold font (integers)
\usepackage{amsthm}
\usepackage{thmtools}   % styles for theorem, definition, etc.

% Typography
\usepackage{microtype}
\usepackage{lettrine}
\usepackage{fontspec}
\usepackage{unicode-math}
\setmainfont{EB Garamond}[RawFeature={+pnum}]
\setmonofont{Iosevka Fixed}[Scale=0.9] % font for the code printing
\setmathfont{Garamond-Math}

%%% Basic information on the thesis
\def\YearSubmitted{2021}

\def\Department{Department of Algebra}
\def\DeptType{Department}
\def\Supervisor{Mgr. Vít Šefl}
\def\SupervisorsDepartment{Department of Software and Computer Science Education}

\def\StudyProgramme{Mathematics}
\def\StudyBranch{MMIT}

% An optional dedication: you can thank whomever you wish (your supervisor,
% consultant, a person who lent the software, etc.)
\def\Dedication{%
  I am grateful to my advisor, Mgr. Vít Šefl, for his help and advice which was
  instrumental to my success. Many thanks also belong to my partner and my
  family for their love and support.
}

% 3 to 5 keywords (recommended), each enclosed in curly braces
\def\Keywords{%
  {quantitative type theory} {bidirectional typing} {type systems}
  {lambda calculus} {Haskell}
}

\begin{VerbatimOut}{\jobname.xmpdata}
  \Title{\ThesisTitle}
  \Author{\ThesisAuthor}
  \Language{\ThesisLanguage}
  \Keywords{quantitative type theory\sep bidirectional typing\sep type
      systems\sep lambda calculus\sep Haskell}
  \Subject{\Abstract}
  \Publisher{\ThesisPublisher}
\end{VerbatimOut}

%% The hyperref package settings
\hypersetup{unicode}
\hypersetup{breaklinks=true}
\hypersetup{hidelinks}  % no link colour frame

% Definitions of macros (see description inside)
\include{macros}

% Title page and various mandatory informational pages
\begin{document}
\include{title}

\tableofcontents

\include{introduction}
\include{chapter01}
\include{chapter02}
\include{chapter03}
\include{chapter04}
\include{chapter05}
\include{conclusion}

\renewcommand{\bibname}{Bibliography}
\bibliographystyle{plainnat}    % Author [Year]
\bibliography{bibliography}

%%% Attachments to the master thesis, if any. Each attachment must be
%%% referred to at least once from the text of the thesis. Attachments
%%% are numbered.
%%%
%%% The printed version should preferably contain attachments, which can be
%%% read (additional tables and charts, supplementary text, examples of
%%% program output, etc.). The electronic version is more suited for attachments
%%% which will likely be used in an electronic form rather than read (program
%%% source code, data files, interactive charts, etc.). Electronic attachments
%%% should be uploaded to SIS and optionally also included in the thesis on a~CD/DVD.
%%% Allowed file formats are specified in provision of the rector no. 72/2017.
\appendix
\include{appendix01}
\include{appendix02}

\openright
\end{document}