> It's a lot more practical to navigate than Emacs' undo, too. What the heck are you talking about? Emacs undo is simply the State monad over a zipper into a

> It's a lot more practical to navigate than Emacs' undo, too. What the heck are you talking about? Emacs undo is simply the State monad over a zipper into a persistent tree of buffer states. I can't see how you could make it more practical?