#typeBookmarks🔗 🦮 How Austral’s Linear Type Checker Works (2025-03-21) #austral #type #compiler