diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-12 17:05:39 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-12 17:05:39 +0100 |
| commit | f07aa8339d82c98f59f12fc75ea08b2b02bd7354 (patch) | |
| tree | d0490deaf71e8283b1dffa037f66645bef508c36 /FinMap.agda | |
| parent | a01871259837d6e36c580338f6d29ea0b154ed04 (diff) | |
| download | bidiragda-f07aa8339d82c98f59f12fc75ea08b2b02bd7354.tar.gz | |
introduce a proper view on checkInsert
Thanks to Joachim Breitner for helping me to work out the definition of
InsertionResult and to Daniel Seidel for helping me understand what
makes a view.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions