gentoo.mahdi.cz
dev-haskell
:meldable-heap
Asymptotically optimal, Coq-verified meldable heaps, AKA priority queues
https://github.com/jbapple/priority-queues
meldable-heap-2.0.3-r1
BSD
download
~amd64
haskell