diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-06-30 18:34:49 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-06-30 18:34:49 +0100 |
| commit | 621f6221048213dc4d359581197988050af99d0d (patch) | |
| tree | 5e218ed3a641f4079b37b1143d7624f55535e568 /src/Data/Term/Zipper.idr | |
| parent | 9d595c4ad37b58385908dc46b3413aacc4f2e4b7 (diff) | |
Define thinning and thickening.
Diffstat (limited to 'src/Data/Term/Zipper.idr')
0 files changed, 0 insertions, 0 deletions