Name: linear-types
Owner: Tweag I/O
Description: Drafts, notes and resources for adding linear typing to GHC.
Created: 2016-09-14 22:30:35.0
Updated: 2018-05-14 13:24:54.0
Pushed: 2018-05-14 08:09:40.0
Homepage: null
Size: 4536
Language: TeX
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Drafts, notes and resources for adding linear typing to GHC.