@hackage / meldable-heap

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

Latest2.0.3

Dependencies

library:meldable-heap (1 dependencies)

@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause