skip to navigation
skip to content

gapbuffer 1.03

A gap buffer package

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.