4 ms·

Cool. Is it public? What data structure do you use for the modifications?

• pklausler 10y ago
  It's called aoeui, it's now on github, and it uses simple gap buffers.