[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)