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