How Austral’s Linear Type Checker Works (borretti.me)

23 points by Laaas 3y ago ↗ HN

1 comment

[ 3.6 ms ] story [ 37.9 ms ] thread

Laaas 3y ago ↗

Previous discussion about Austral: https://news.ycombinator.com/item?id=34168452