diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-07 12:58:45 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-07 12:58:45 +0000 |
| commit | 660a710778a0fc2a9ccc67ec4285bb53ba57b901 (patch) | |
| tree | 1343ef69744abea0978f785dc4fae3d50b92ca1b /src/Data/Setoid/Vect.idr | |
| parent | 6fb52c637c67788e78bdd1e87a80443aa227d5d6 (diff) | |
Make more arguments irrelevant.feature/reindex
Diffstat (limited to 'src/Data/Setoid/Vect.idr')
0 files changed, 0 insertions, 0 deletions