Notes on categories with families, interpreting syntax into CwFs, and some semantic models.
Find a file
2025-08-11 16:22:32 -04:00
.gitattributes Track large files with Git LFS 2025-08-11 16:22:32 -04:00
.latexmkrc Add .latexmkrc and PDF to files. 2022-11-08 16:40:20 -05:00
biblio.bib Initial Overleaf Import 2022-11-08 16:37:31 -05:00
iosevka.ttc Track large files with Git LFS 2025-08-11 16:22:32 -04:00
kai.ttf Track large files with Git LFS 2025-08-11 16:22:32 -04:00
main.pdf Track large files with Git LFS 2025-08-11 16:22:32 -04:00
main.tex Remove remaining TODO 2022-11-11 13:53:22 -05:00