/linear-types

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

Primary LanguageTeX

Linear types in GHC

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