diff options
author | 2014-01-18 11:38:01 -0400 | |
---|---|---|
committer | 2014-01-18 11:38:01 -0400 | |
commit | be6b3d8ee966f58bbcc765401b6d9a09e71e7946 (patch) | |
tree | 02a0907445192b2e7434c0f13c3a5f95f7284624 /Option.hs | |
parent | 561db6fff3cea081f3203bddee079f5c689ba26e (diff) |
avoid trying to find minimum element of empty map
Diffstat (limited to 'Option.hs')
0 files changed, 0 insertions, 0 deletions