GitHub - ionathanch/cwf-notes: Notes on categories with families, interpreting syntax into CwFs, and some semantic models.

ionathanch / cwf-notes Public

Notes on categories with families, interpreting syntax into CwFs, and some semantic models.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.latexmkrc		.latexmkrc
biblio.bib		biblio.bib
iosevka.ttc		iosevka.ttc
kai.ttf		kai.ttf
main.pdf		main.pdf
main.tex		main.tex

About

Notes on categories with families, interpreting syntax into CwFs, and some semantic models.

No releases published