aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Lemmas.hs
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@funktory.com>2025-12-16 13:24:25 +0100
committerMikolaj Konarski <mikolaj.konarski@funktory.com>2025-12-16 19:35:33 +0100
commit682c584b26e872b7613cbcd73e3d15fc39867713 (patch)
tree778abd95adb8516c8f3b83883f37ddcd26787c3f /src/Data/Array/Nested/Lemmas.hs
parent6f2206b61ea05d4b1cd1fb6d0971484bbc820b02 (diff)
Define ix?FromLinear without TH
Diffstat (limited to 'src/Data/Array/Nested/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions