/cwf-notes

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

Primary LanguageTeX

No issues in this repository yet.