[HN Gopher] Idris 2: Quantitative Type Theory in Practice
       ___________________________________________________________________
        
       Idris 2: Quantitative Type Theory in Practice
        
       Author : otoburb
       Score  : 5 points
       Date   : 2022-01-23 21:09 UTC (1 hours ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       ___________________________________________________________________
       (page generated 2022-01-23 23:01 UTC)