This repository is not active
GallagherCommaJack/SF-TT-PL-HoTT-Talk
Slides for a talk on homotopy type theory for the SF Types Theorems and Programming Languages meetup
TeX
Slides for a talk on homotopy type theory for the SF Types Theorems and Programming Languages meetup
TeX
This repository is not active