Coinductive types (guardedness) & copatterns support?
Open
feature
- Dominant language
- Java
- Stars
- 756
- Forks
- 31
- PR merge metrics
- No merged PRs in 30d
Description
Big features.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue contains only the request for coinductive types, guardedness, and copatterns support, with no files, tests, or entry points named. First determine the intended language design and implementation scope; the issue needs concrete acceptance criteria before completion can be assessed.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100