Blind zipper iteration - #60

Open

luketpeterson wants to merge 9 commits into

blind-zippers-restagefrom

blind-zipper-iteration

Commits on Jul 29, 2026

Extending blind zipper pattern to some of the iteration methods (to_next_val, etc.)
luketpeterson
committed
8e4b001
Merge branch 'blind-zippers-restage' into blind-zipper-iteration
luketpeterson
committed
a445404
Adding depth method to zipper_moving as a required method, and implementing at_root in terms of that.
luketpeterson
committed
de5456c
Adding observer to k_path methods
luketpeterson
committed
83cfa6a
Putting debug_assert back to assert in DiffZipper, because the agent got over-eager and I missed that change
luketpeterson
committed
f3bae73

Commits on Jul 30, 2026