Notes on categories with families, interpreting syntax into CwFs, and some semantic models.
.gitattributes | ||
.latexmkrc | ||
biblio.bib | ||
iosevka.ttc | ||
kai.ttf | ||
main.pdf | ||
main.tex |
.gitattributes | ||
.latexmkrc | ||
biblio.bib | ||
iosevka.ttc | ||
kai.ttf | ||
main.pdf | ||
main.tex |