| File | Mode | Size |
|---|---|---|
| TYPES2021 | ||
| Everything.tex | -rw-r--r-- | 3.5 KB |
| EverythingFunc.tex | -rw-r--r-- | 4.0 KB |
| acknowledgements.tex | -rw-r--r-- | 212 bytes |
| agda-algebras-arXiv-30Nov2021.pdf | -rw-r--r-- | 752.4 KB |
| agda-algebras.tex | -rw-r--r-- | 5.8 KB |
| agda.sty | -rw-r--r-- | 32.7 KB |
| by-sa.png | -rw-r--r-- | 17.2 KB |
| lambda.jpg | -rw-r--r-- | 24.8 KB |
| lipics-logo-bw.pdf | -rw-r--r-- | 81.6 KB |
| lipics-v2021-wjd.cls | -rw-r--r-- | 46.7 KB |
| lipics-v2021.cls | -rw-r--r-- | 46.0 KB |
| makefile | -rw-r--r-- | 1.5 KB |
| orcid.pdf | -rw-r--r-- | 86.6 KB |
| proof-dashed.sty | -rw-r--r-- | 7.7 KB |
| stereotypeb-avatar.png | -rw-r--r-- | 32.6 KB |
| ualib_refs.bib | -rw-r--r-- | 52.3 KB |
| unixode.sty | -rw-r--r-- | 34.7 KB |
| wjd.sty | -rw-r--r-- | 12.3 KB |
