Fork me on GitHub
#specter
<
2024-03-28
>
Lidor Cohen09:03:03

@nathanmarz sorry if this question is too braod for this channel but I have a hunch that your the guy 🙂 I have a tree of vectors: [[[..]..[..]][..]] Today I'm using specter and reduce to travers (preorder) and edit \ remove nodes from the tree To your knowledge, using zippers (+ specter) should be more \ less performant?