Austral: A systems language with linear types and capabilities

Corresponding tweet for this thread:

Share link for this tweet.