summaryrefslogtreecommitdiff
path: root/lib/tipper.ml
Commit message (Expand)AuthorAgeFilesLines
* feat: add generic tree zipper data structureFederico Igne2024-01-281-0/+45