New top story on Hacker News: Idris 2: Quantitative Type Theory in Practice A+ A- Print Email Idris 2: Quantitative Type Theory in Practice
Post a Comment Blogger Facebook