aboutsummaryrefslogtreecommitdiff
path: root/cbits
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-23 16:54:09 +0200
committerMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-23 16:54:09 +0200
commit4ca302cdb32e3d36152400962cc50d37d3d40494 (patch)
tree2fa4548abc818902a632ba1de459967a322650ba /cbits
parentf8e131d7924c24e0ed015507e2299638b72b6a57 (diff)
Try to make up for ToINat not being injectiveflesh-out-sized-lists
Diffstat (limited to 'cbits')
0 files changed, 0 insertions, 0 deletions