ox-arrays/src/Data/Array/Nested/Lemmas.hs, branch move-RankNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank2026-04-08T23:01:01ZMake equal-rank-coercibility part of the interface of ListX2026-04-08T23:01:01ZTom Smedingtom@tomsmeding.com2026-04-08T22:59:15Zurn:sha1:fe25edfd8e633a834a23d272bae8ccf456b63c26Make ranked and shaped lists newtypes over mixed2026-04-04T08:33:50ZMikolaj Konarskimikolaj.konarski@funktory.com2026-04-04T08:33:50Zurn:sha1:a9ac62f66e45e64f83043e0ebda04f0b4b80b913Make ShR a newtype over ShX2026-03-15T09:35:48ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-16T08:51:51Zurn:sha1:e721543d6dfac2b1130b8dc0a1294c833610ba78Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled2025-10-02T10:54:23ZMikolaj Konarskimikolaj.konarski@funktory.com2025-09-24T18:56:20Zurn:sha1:22a3d9c5cbafb7a633f2f802af884d042718e78d
and probably more sound than earlier versions.
Update doc comments in Lemmas2025-05-17T08:53:27ZTom Smedingtom@tomsmeding.com2025-05-17T08:05:53Zurn:sha1:7651e9662be2122e1c456bd80af0048327f874fbMerge both Lemmas modules2025-05-16T22:26:59ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T22:20:47Zurn:sha1:713d76559c42129afb24843af4386d18f1827727Clearer module purposes2024-05-30T20:47:52ZTom Smedingtom@tomsmeding.com2024-05-30T20:47:52Zurn:sha1:8b59d8ef4ff97936f2a753d1ce345e0404c26b2b
Thanks Mikolaj for discussion
Refactor Nested (modules, function names)2024-05-30T20:20:57ZTom Smedingtom@tomsmeding.com2024-05-30T20:20:57Zurn:sha1:f0752d67cd188f438280e1f0c692dc1f5f14a190