mirror of
https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git
synced 2024-05-31 07:28:34 +02:00
8 lines
408 B
Markdown
8 lines
408 B
Markdown
|
# 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]([minted](https://ctan.org/pkg/minted)) package for representing Agda code you will also need the Python syntax highlighter [Pygments](https://pygments.org/).
|
||
|
|
|
||
|
|
## Usage
|
||
|
|
To compile the thesis just run `make` with the needed programs installed.
|