ox-arrays/src/Data/Array/Nested/Ranked, branch port-to-natnormalise-0.8.1Nested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=port-to-natnormalise-0.8.12025-10-02T10:54:23ZPort 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.
More shape/index conversion functions2025-06-29T11:07:22ZTom Smedingtom@tomsmeding.com2025-06-29T11:07:22Zurn:sha1:dc0270a1fd5db180df88023bb2628b046447df0dTweak haddocs and comments slightly2025-06-26T21:55:36ZMikolaj Konarskimikolaj.konarski@funktory.com2025-06-26T21:50:19Zurn:sha1:0ace0c79acbd98b7592d155c8b54e2959e3a706fMove shape conversion ops to Data.Array.Nested.Convert2025-05-17T08:40:28ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-17T08:40:28Zurn:sha1:ccbfa6fd2cd1225dfe9f0dc5a281437f3e302b15Merge both Lemmas modules2025-05-16T22:26:59ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T22:20:47Zurn:sha1:713d76559c42129afb24843af4386d18f1827727Eliminate the dependency cycle of Lemmas modules2025-05-16T22:10:56ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T22:04:53Zurn:sha1:0d6f77762d1697ea41b190e550f94e459079e3d1Move modules Permutation and Types2025-05-16T21:50:45ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T21:50:45Zurn:sha1:7bc9bc6ddbcee4f4193d5c79db92186f12ce3eb2Generalize some shape conversion functions2025-05-16T11:42:47ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T11:42:47Zurn:sha1:5c926beb1aeed724787812c35a70c5ae362bc1f7Shape/index function rename2025-05-16T09:54:41ZTom Smedingtom@tomsmeding.com2025-05-16T09:54:41Zurn:sha1:26b8f3c19cd919f5a45ef07e4ba76bae5cab35cedefault-show-instances flag2025-05-16T09:21:51ZTom Smedingtom@tomsmeding.com2025-05-16T08:42:24Zurn:sha1:09041ca155485885a2f337f71b04442e991a550d