[swannodette]

That's a big contribution, also the original HAMTs are not a functional data structure. See Section 3.4.1 in https://docdrop.org/download_annotation_doc/3386321-trk2f.pd...

[bjoli]

No, but persistent bit partitioned tries were pretty well known in the late 90s (I first met them in standard ML in 2005)