diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-06-05 18:03:51 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-06-05 18:03:51 +0200 |
| commit | 84231ed91ae814d5a256e5fa24810c886ae31369 (patch) | |
| tree | 9a35e4907babe7eebc931de9b2d1c413df7ba58e /LiftGet.agda | |
| parent | a764e1652d74c911a3a8312b6734ff49d8dfccee (diff) | |
| download | bidiragda-84231ed91ae814d5a256e5fa24810c886ae31369.tar.gz | |
make the Vec bff more similar to the List version
Diffstat (limited to 'LiftGet.agda')
0 files changed, 0 insertions, 0 deletions