diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-10 22:34:16 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-10 22:34:16 +0200 |
| commit | 6aba617941bc5e66f414846131a3e02d9ae1fc41 (patch) | |
| tree | fdd7bbde53b59b63a9ed16b9212d24aff9506d51 /Bidir.agda | |
| parent | bd2a63675bb859e42d9e1464ff9a7883884c1fd5 (diff) | |
| download | bidiragda-6aba617941bc5e66f414846131a3e02d9ae1fc41.tar.gz | |
LiftGet: vec-length is also known as subst (Vec A)
Thanks to Andres Löh for spotting.
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions