redtt
redtt copied to clipboard
Add "spine holes"
I want a hole to be able to range over a suffix to the spine. While we support interactive backward construction already, this would enable interactive forward construction.