ZipperPlayLens.eg2' finally seems to be doing what I want, in terms of traversing and editing the tree
ZipperPlayLens.eg2' finally seems to be doing what I want, in terms of
traversing and editing the tree

kmate/HaRe,RefactoringTools/HaRe,mpickering/HaRe,SAdams601/HaRe,kmate/HaRe,RefactoringTools/HaRe,mpickering/HaRe,SAdams601/HaRe,mpickering/HaRe,kmate/HaRe,RefactoringTools/HaRe,SAdams601/HaRe