Closed MaximilianAlgehed closed 6 months ago
comments welcome from @treeowl and @phadej
I would say more about the consequences (i.e., who should worry about this). Basically, only people digging into Data.Set.Internal
need to care.
I would say more about the consequences (i.e., who should worry about this). Basically, only people digging into
Data.Set.Internal
need to care.
Good idea, thank you!
Comments welcome
closes #354