New top story on Hacker News: The Syntax and Semantics of Quantitative Type Theory

https://ift.tt/2HhoX4k
New top story on Hacker News: The Syntax and Semantics of Quantitative Type Theory https://ift.tt/2HesK6t
via IFTTT