Closed jamesdbrock closed 3 years ago
https://github.com/purescript/documentation/blob/master/language/Records.md
Maybe the generated record types should be extensible? Would that be useful?
Nah.
https://github.com/purescript/documentation/blob/master/language/Records.md
Maybe the generated record types should be extensible? Would that be useful?