Closed
Description
The foreign object equivalent of Data.Array.ST.empty is called new and in purescript/purescript-record#68 I proposed to add Record.ST.new for consistency. Should we also rename Data.Array.ST.empty to new then?
Metadata
Metadata
Assignees
Labels
No labels