3 ms·
Introductory talk: "A Functional Programmer's Guide to Homotopy Type Theory" https://www.youtube.com/watch?v=caSOTjr1z18 https://www.youtube.com/watch?v=caSOTjr
by danidiaz 9y ago
Introductory talk: "A Functional Programmer's Guide to Homotopy Type Theory" https://www.youtube.com/watch?v=caSOTjr1z18 https://www.youtube.com/watch?v=caSOTjr1z18