Indexed zippers #213

ekmett opened this Issue Dec 24, 2012 · 2 comments


None yet

1 participant

ekmett commented Dec 24, 2012

It'd be nice to be able to do indexing into a zipper by index rather than ordinal position.

This would let you restore tapes more accurately.

ekmett commented Dec 28, 2012

This work has started. We now have a zipper that uses a Magma of the original term to move around in. It still needs to be finished.

@ekmett ekmett was assigned Dec 28, 2012
ekmett commented Jan 1, 2013

Closing this out. We could use some docs, but its done.

@ekmett ekmett closed this Jan 1, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment