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