type-system
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Experience with polykinds
|
|
6 | 429 | March 30, 2020 |
| Allow defining named records |
|
44 | 2022 | January 29, 2020 |
| Bidirectional dependencies and Type Equality |
|
5 | 278 | August 20, 2019 |
| Intersection of row types |
|
10 | 967 | April 18, 2019 |