Closed davidchambers closed 5 years ago
Aldwin and I have been discussing the semantics of empty record types on Gitter. We agree that the semantics should change; the first step is to document the existing semantics.
Aldwin and I have been discussing the semantics of empty record types on Gitter. We agree that the semantics should change; the first step is to document the existing semantics.