carveout: undo tree

carveout is a digital pen note taking application
carveout on github: github.com/LU1...
In this video the undo system of carveout is showcased, which is implemented using an undo tree, which allows storing all history paths of undos and redos.