[HN Gopher] Introduction to Cubical Type Theory ___________________________________________________________________ Introduction to Cubical Type Theory Author : presheaf Score : 5 points Date : 2022-11-30 21:14 UTC (1 hours ago) (HTM) web link (1lab.dev) (TXT) w3m dump (1lab.dev) ___________________________________________________________________ (page generated 2022-11-30 23:02 UTC)