leonv/bsc-consolidated
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
bsc-consolidated/README.md

408 B
Raw Permalink Blame History

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.