merge-ropes
Mergeable ropes
Description
The package implements "mergeable" ropes, ie. persistent ropes with a fast merge operation.
Install
- Published
-
24 Mar 2015
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies