Effect modes
Open
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
PR #336 extended the effect inference algorithm with support for affine effects. However, additional work is required to actually check that affine shift₀ uses its resumption at most once, and to support additional effect modes (linear and exception).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.