diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-07-25 20:57:39 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-07-26 21:55:45 +0200 |
| commit | 1f961a5a882d2626f0c6be28b03d86b8c257a855 (patch) | |
| tree | bbd7cfd41b82ab1c092ae21220f7a67543b15174 /src/Erebos/Set.hs | |
| parent | 6c13b1285605020bb3c510dd1862d2d8d9828337 (diff) | |
Pairing failure reason
Diffstat (limited to 'src/Erebos/Set.hs')
0 files changed, 0 insertions, 0 deletions