Hacker News new | ask | show | jobs
Introduction to Cubical Type Theory (1lab.dev)
12 points by presheaf 1292 days ago