effekt-lang / effekt-lang/effekt
Block type polymorphism
Open
feature
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
We should consider adding polymorphism not only for value types, but also block types.
Before adding it to the language, we should formalize it in our Coq proofs.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.