bsc-leon-vatthauer/thesis/README.md

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.