| Name | Last modified | Size | Description |
|---|---|---|---|
| latex.svg | 27 KiB | Inclusion order of LaTeX packages | |
| latex.pl | 1.4 KiB | ||
| cyclic-winter-school.ics | 5.6 KiB | iCal file for the cyclic winter school | |
| graph-product.agda | 4.2 KiB |
Miscellaneous stuff
| Name | Last modified | Size | Description |
|---|---|---|---|
| latex.svg | 27 KiB | Inclusion order of LaTeX packages | |
| latex.pl | 1.4 KiB | ||
| cyclic-winter-school.ics | 5.6 KiB | iCal file for the cyclic winter school | |
| graph-product.agda | 4.2 KiB |