merge-queues

Mergeable queues
Description

The package implements "mergeable" queues, ie. persistent queues with a fast merge operation.

Install
Sources
0.2.0.tar.gz
md5=52a3e3d772290a688be2a16a1316ef34
Dependencies
cohttp
with-test
git
with-test
alcotest
with-test
irmin
>= "0.9.3" & < "0.10.0"
Reverse Dependencies