A gap buffer package
Project description
- Gap buffers are efficient mutable sequences that
are often used to store text in text editors. They utilize locality of modification to avoid copying large amounts of data and allocate extra elements to avoid memory allocation dominating performance.