Skip to content

Implementing tighter spec for to_next_k_path on PrefixZipper and EmptyZipper. - #140

Merged
luketpeterson merged 1 commit into
masterfrom
bugfix/to_next_k_path_spec_on_prefix_and_empty_zipper
Sep 27, 2026
Merged

luketpeterson merged 1 commit into
masterfrom
bugfix/to_next_k_path_spec_on_prefix_and_empty_zipper

Commits

Commits on Sep 25, 2026