diff options
| author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-23 16:54:09 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-23 16:54:09 +0200 |
| commit | 4ca302cdb32e3d36152400962cc50d37d3d40494 (patch) | |
| tree | 2fa4548abc818902a632ba1de459967a322650ba /src/Nats.hs | |
| parent | f8e131d7924c24e0ed015507e2299638b72b6a57 (diff) | |
Try to make up for ToINat not being injectiveflesh-out-sized-lists
Diffstat (limited to 'src/Nats.hs')
0 files changed, 0 insertions, 0 deletions