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