/SF-TT-PL-HoTT-Talk

Slides for a talk on homotopy type theory for the SF Types Theorems and Programming Languages meetup

Primary LanguageTeX

This repository is not active