No description
.vscode | ||
agda | ||
img | ||
src | ||
.chktexrc | ||
.gitignore | ||
bib.bib | ||
main.tex | ||
Makefile | ||
quiver.sty | ||
README.md | ||
thesis.pdf |
The thesis
This folder contains the source of my thesis.
Requirements
Building the thesis requires a working xelatex installation. Since I am using the minted package for representing Agda code you will also need the Python syntax highlighter Pygments.
Usage
To compile the thesis just run make
with the needed programs installed.