How Austral’s Linear Type Checker Works | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		How Austral’s Linear Type Checker Works (borretti.me)
		23 points by Laaas on Jan 29, 2023 \| hide \| past \| favorite \| 1 comment

Laaas on Jan 29, 2023 [–]

Previous discussion about Austral: https://news.ycombinator.com/item?id=34168452

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact