Hacker News new | ask | show | jobs
How Austral’s Linear Type Checker Works (borretti.me)
2 points by ifreund 1236 days ago