ox-arrays - Nested, compositional struct-of-arrays orthotope arrays

	Commit message (Collapse)	Author	Age
*	Also replace replicateScal -> replicatePrim in error messages	Tom Smeding	33 hours
\|
*	Rename, organise and cleanup	Tom Smeding	45 hours
\| \| \| \| \| \| \|	Renamings: - sumOuter1 -> sumOuter1Prim - rerank -> rerankPrim - replicateScal -> replicatePrim
*	Provide explicit-length versions of fromList functions	Tom Smeding	46 hours
\|
*	mshapeTreeIsEmpty: allow partially-zero shapes for nested arrays	Tom Smeding	2 days
\|
*	Revert "Remove a spurious case now correclty rules out by the plugins"	Tom Smeding	2025-10-21
\| \| \| \| \| \| \|	This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
*	Remove a spurious case now correclty rules out by the plugins	Mikolaj Konarski	2025-10-20
\|
*	Tune redundant cases for no-warnings on GHC 9.12	Tom Smeding	2025-10-02
\|
*	Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1	Mikolaj Konarski	2025-10-02
\| \| \| \|	and probably more sound than earlier versions.
*	More shape/index conversion functions	Tom Smeding	2025-06-29
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	2025-06-26
\|
*	Move shape conversion ops to Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Merge both Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Move modules Permutation and Types	Mikolaj Konarski	2025-05-16
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	2025-05-16
\|
*	Shape/index function rename	Tom Smeding	2025-05-16
\|
*	default-show-instances flag	Tom Smeding	2025-05-16
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	2025-05-15
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	2025-05-14