Drafts, notes and resources for adding linear typing to GHC. - View it on GitHub