Affinity-specific simplification rules
Open
2. effect inference
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Constraint simplifications may need to be extended with rules that take affinity into account.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.