diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 17:23:58 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 17:23:58 +0200 |
| commit | b863e05247453f8a55930df5c061c156158eab0c (patch) | |
| tree | 3ca974fd4d49945e2662dc2319adc29d0fa0e000 /Precond.agda | |
| parent | 27cf65ec6fe7c83d53fc8f9c4383041a5af882a2 (diff) | |
| download | bidiragda-b863e05247453f8a55930df5c061c156158eab0c.tar.gz | |
vec-len-via-list and length-toList are the same
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions