How Austral’s Linear Type Checker Worksborretti.me2 points·ifreund··0 commentsOpen articleSaveView on HN