diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 14:39:11 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 14:39:11 +0000 |
| commit | 643afbac7e1cc56d33e8f652e8e70e00cf07a4be (patch) | |
| tree | 425082c6b973b2ee607f988492a6ad56cfe9a4ad /src/Soat/Data/Sublist.idr | |
| parent | 3d4f3744f67aa89ebf884a9df9b5187e3aacfec7 (diff) | |
refactor: rename x -> v
Diffstat (limited to 'src/Soat/Data/Sublist.idr')
0 files changed, 0 insertions, 0 deletions