summaryrefslogtreecommitdiff
path: root/src/Data/Term/Zipper.idr
AgeCommit message (Collapse)Author
2023-06-30Define zippers and prove no cycles exist.Greg Brown