diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-04-27 20:51:06 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-04-27 20:51:06 +0200 |
| commit | cab5a60cefea9ca03dbdde0a4a33cec20aaeabf6 (patch) | |
| tree | 4376ae6dd79915af1d0d2e7e61c5431d77578b50 /CheckInsert.agda | |
| parent | 076752832dbb0989ea4a23a1edca0083db436892 (diff) | |
| download | bidiragda-cab5a60cefea9ca03dbdde0a4a33cec20aaeabf6.tar.gz | |
use fromFunc to define union
Semantically this is no change, but reducing to standard interface seems
better.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions