beka valentine on Nostr: but when we view these tree contexts through McBride's tube view, where a one hole ...

but when we view these tree contexts through McBride's tube view, where a one hole context is a stack of frames of local subtrees, we get this:

fo|o

is the tube-y zipper

"o" @ [ 'o':_, 'f':_ ]

and

fot|o

is

"o" @ [ 't':_, 'o':_, 'f':_ ]