Support affinity and linearity in Core
Open
3. core
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
The Core typechecker should be able to verify the affinity or linearity of resumptions.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.