leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity
bsc-leon-vatthauer/slides
History
Leon Vatthauer ac39b97ce2
Added READMEs
2024-02-09 13:49:08 +01:00
..
.vscode try to reintroduce CI 2024-01-11 13:53:16 +01:00
code-examples final slides 2024-01-23 13:25:18 +01:00
sections final slides 2024-01-23 13:25:18 +01:00
styles Added slides template 2023-12-14 15:01:27 +01:00
template-art Added slides template 2023-12-14 15:01:27 +01:00
bibliography.bib final slides 2024-01-23 13:25:18 +01:00
main.tex small changes 2024-01-22 17:57:12 +01:00
Makefile add makefile 2024-02-09 13:34:50 +01:00
quiver.sty Work on slides 2024-01-19 14:04:41 +01:00
README.md Added READMEs 2024-02-09 13:49:08 +01:00

README.md

The slides

This folder contains the source of my slides for the presentation at the Oberseminar on the 23.01.2024.

Requirements

Building the slides 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 slides just run make with the needed programs installed.