No description
Find a file
2024-07-17 17:38:21 +02:00
.vscode get files from bsc 2024-07-17 16:25:41 +02:00
agda get files from bsc 2024-07-17 16:25:41 +02:00
img add agda refs 2024-07-17 17:38:21 +02:00
src add agda refs 2024-07-17 17:38:21 +02:00
.chktexrc get files from bsc 2024-07-17 16:25:41 +02:00
.gitignore add agda refs 2024-07-17 17:38:21 +02:00
bib.bib get files from bsc 2024-07-17 16:25:41 +02:00
main.tex add agda refs 2024-07-17 17:38:21 +02:00
Makefile get files from bsc 2024-07-17 16:25:41 +02:00
quiver.sty get files from bsc 2024-07-17 16:25:41 +02:00
README.md get files from bsc 2024-07-17 16:25:41 +02:00
thesis.pdf get files from bsc 2024-07-17 16:25:41 +02:00

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.