/cwf-notes

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

Primary LanguageTeX

This repository is not active