issues
search
tweag
/
linear-types
Drafts, notes and resources for adding linear typing to GHC.
75
stars
5
forks
source link
readme
Linear types in GHC
Drafts, notes and resources for adding linear typing to GHC.