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 | ||