Drafts, notes and resources for adding linear typing to GHC.
TeX
79
1,407 commits
updated May 29, 2020
README
Linear types in GHC
Drafts, notes and resources for adding linear typing to GHC.
Languages
TeX
96.1%
Haskell
2.5%
Drafts, notes and resources for adding linear typing to GHC.
TeX
79
1,407 commits
updated May 29, 2020
README
Linear types in GHC
Drafts, notes and resources for adding linear typing to GHC.
Languages
TeX
96.1%
Haskell
2.5%