merge-ropes

Mergeable ropes
Description

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

Install
Published
24 Mar 2015
Sources
0.2.0.tar.gz
md5=5b988734ddb2b22c53318e03a23bced5
Dependencies
irmin-unix
with-test & < "0.12.0"
alcotest
with-test
irmin
>= "0.9.4" & < "0.10.0"
Reverse Dependencies