How Austral’s Linear Type Checker Works
- Added on 2025-03-21
- Page: https://borretti.me/article/how-australs-linear-type-checker-works
- See on Internet Archive
- #austral #type #compiler
A walkthrough of Austral's linearity checker algorithm.
A walkthrough of Austral's linearity checker algorithm.