@hackage / meldable-heap

Asymptotically optimal, Coq-verified meldable heaps, AKA priority queues

2.0.3

Version history