How Austral’s Linear Type Checker Works borretti.me/article/how-australs-linear-type-checker-works More on Austral. # linear_types 2025-03-21 22:06 UTC Copy 1831.