zipper: short-circuit on shared subtries#36

Open

marcin-rzeznicki wants to merge 3 commits intozipper_join_nfrom

experiment_with_shared_nodes

Commits on Apr 29, 2026

zipper_algebra: short-circuit on shared subtries (entry + post-descend)
marcin-rzeznicki
committed
zipper_algebra: fix a bug in zipper_merge_n_mono
marcin-rzeznicki
committed

Commits on May 6, 2026

zipper_algebra: test with merkleization
marcin-rzeznicki
committed