Hacker News new | ask | show | jobs
by vez- 1344 days ago
Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)