summaryrefslogtreecommitdiff
path: root/src/Data
AgeCommit message (Collapse)Author
2023-06-30Define zippers and prove no cycles exist.Greg Brown
2023-06-30Define thinning and thickening.Greg Brown
2023-06-30Define terms, renaming and substitution.Greg Brown
2023-06-30Initial commit.Greg Brown