https://github.com/AndrasKovacs/universes
Revision 3750eaca85ecdabb77f9dd345f356053fb3dfa3e authored by András Kovács on 22 February 2021, 17:13:44 UTC, committed by András Kovács on 22 February 2021, 17:13:44 UTC
1 parent dc20f0e
Tip revision: 3750eaca85ecdabb77f9dd345f356053fb3dfa3e authored by András Kovács on 22 February 2021, 17:13:44 UTC
kill old notes
kill old notes
Tip revision: 3750eac
File | Mode | Size |
---|---|---|
agda | ||
department_prez | ||
.gitignore | -rw-r--r-- | 32 bytes |
lipics-v2021.cls | -rw-r--r-- | 45.8 KB |
paper.pdf | -rw-r--r-- | 577.8 KB |
paper.tex | -rw-r--r-- | 59.0 KB |
references.bib | -rw-r--r-- | 123.0 KB |
Computing file changes ...