4 ms·How Austral’s Linear Type Checker Works23 points by Laaas 4y agoLaaas 4y agoPrevious discussion about Austral: https://news.ycombinator.com/item?id=34168452 https://news.ycombinator.com/item?id=34168452