1 repost 169.

Introducing Austral: A Systems Language with Linear Types and Capabilities

borretti.me/article/introducing-austral

Introducing a new programming language.

linear_types,programming_language