records
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Merge record with Extensible record |
|
4 | 172 | March 10, 2020 |
| Allow defining named records |
|
44 | 2002 | January 29, 2020 |
| Intersection of row types |
|
10 | 959 | April 18, 2019 |