GitHub repository: tweag/linear-types
Primary language: TeX
Description: Drafts, notes and resources for adding linear typing to GHC.