How Austral’s Linear Type Checker Works

How Austral’s Linear Type Checker Works.
A walkthrough of Austral’s linearity checker algorithm.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

Corresponding tweet for this thread:

Share link for this tweet.