linear-types icon indicating copy to clipboard operation
linear-types copied to clipboard

verified publisher icon tweag
→

Metadata

Drafts, notes and resources for adding linear typing to GHC.

Linear types in GHC

Drafts, notes and resources for adding linear typing to GHC.

← Metadata

73
Stars
5
Forks
Watchers

Owner

verified publisher icon tweag

Metadata

Drafts, notes and resources for adding linear typing to GHC.

Back