Type synonyms in recursive definitions
Open
1. type inference
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Recursive type synonyms could be allowed, provided that each recursion cycle goes through some data type (or label).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.