29 Jun
2019
29 Jun
'19
5:01 p.m.
On Sat, 29 Jun 2019, Georg Rudoy wrote:
The motivation is that oftentimes one needs to have a collection of newtype wrappers around Int, and then they have to either unpack/repack it around the relevant containers (which is not nice), or just use HashMap/HashSet (which is perhaps suboptimal).
There is already the enummapset package.