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

	Commit message (Collapse)	Author	Age
*	Flip some index/shape-related functions	Tom Smeding	40 hours
\| \| \| \| \|	This ensures that the argument order consistently puts the main thing being operated on at the end, and supporting singletons at the start.
*	Improve Conversion haddocks	Tom Smeding	40 hours
\|
*	Cleanup	Tom Smeding	40 hours
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	4 days
\|
*	Rename Castable to Conversion	Tom Smeding	2025-06-09
\|
*	Derive instance Show (Castable a b)	Mikolaj Konarski	2025-06-06
\|
*	Describe Castable philosophy	Tom Smeding	2025-06-04
\|
*	Add CastZip and CastUnzip	Tom Smeding	2025-06-04
\|
*	Add CastNest and CastUnnest	Tom Smeding	2025-06-03
\|
*	Simplify and expand Castable	Tom Smeding	2025-06-02
\|
*	Move shape conversion ops to Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Move code around in Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Merge both 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
\|
*	Flip arguments of mcastToShaped for consistency	Tom Smeding	2025-05-16
\|
*	Convert: Export list; simplify some functions with castCastable	Tom Smeding	2025-05-16
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	2025-05-15
\|
*	Make mcast available in Castable	Tom Smeding	2025-05-15
\|
*	mcastSafe was unsound; it's now gone	Tom Smeding	2025-05-15
\|
*	Move Arith, XArray and Convert	Mikolaj Konarski	2025-05-14
\|
*	Clearer module purposes	Tom Smeding	2024-05-30
\| \| \| \|	Thanks Mikolaj for discussion
*	Refactor Nested (modules, function names)	Tom Smeding	2024-05-30