How Austral’s Linear Type Checker Worksborretti.me23 points·Laaas··1 commentOpen articleSaveView on HN