GitHub - mikeshulman/dirtt: Directed type theory for formal category theory

Name		Name	Last commit message	Last commit date
Latest commit History 197 Commits
.gitignore		.gitignore
decls.tex		decls.tex
dirtt.tex		dirtt.tex
hdl-axioms.png		hdl-axioms.png
hdl-data.png		hdl-data.png
kit.tex		kit.tex
mathpartir.sty		mathpartir.sty
resource.tex		resource.tex
resource2.tex		resource2.tex
resource3.tex		resource3.tex
resource4.tex		resource4.tex
rigid.tex		rigid.tex
stringdiagrams.tex		stringdiagrams.tex
termderiv.tex		termderiv.tex
unification.tex		unification.tex