Add type-level lambda abstractions to Core
Open
3. core
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
When we try to relax the condition that type synonyms are always fully applied, we will need type-level lambda abstractions to Core.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.