diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-28 21:25:30 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-28 21:25:30 +0100 |
| commit | 55e4f8e861945cf9d32420cac612ebe5a9218f89 (patch) | |
| tree | b541885f2d9f9b163b2f275957e3122cbe206ead /src/Pairing.hs | |
| parent | 26c03fae3e49057ac18462c5d1f48b9b221e1dcc (diff) | |
Empty record item type
Diffstat (limited to 'src/Pairing.hs')
0 files changed, 0 insertions, 0 deletions