diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-24 11:28:31 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-24 11:28:31 +0100 |
| commit | c56c7e2e2395d65afd8242df3f9ab45216ba5733 (patch) | |
| tree | 0f5769f75738de972093ea4d77f1d3f203d3c4f7 /FinMap.agda | |
| parent | d0392d237baa5cb5561ea878fb05ddfb597bba90 (diff) | |
| download | bidiragda-c56c7e2e2395d65afd8242df3f9ab45216ba5733.tar.gz | |
define mapMV via sequenceV
This makes a few proofs easier and eliminates the need for sequence-map
entirely.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions