diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-16 15:19:15 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-16 15:19:15 +0100 |
| commit | bb4e7c82b7ecd93b7241be5fcc547cfd282a8908 (patch) | |
| tree | d04c4753d213de602a3b0835d87660b0941cd48a /src/Data/Vect/Properties/Insert.idr | |
| parent | 890039d7dac42200ea280177d0dfba4792f30d93 (diff) | |
Minor changes for use by other projects.
Diffstat (limited to 'src/Data/Vect/Properties/Insert.idr')
0 files changed, 0 insertions, 0 deletions