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

	Commit message (Collapse)	Author	Age
*	Merge both Lemmas modules	Mikolaj Konarski	19 hours
\|
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	20 hours
\|
*	Move modules Permutation and Types	Mikolaj Konarski	20 hours
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	30 hours
\|
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	31 hours
\| \| \| \| \| \| \|	This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31. Removing a _provided_ KnownNat constraint if we cannot remove the actual Nat information from the data type is rather pointless.
*	Shape/index function rename	Tom Smeding	32 hours
\|
*	default-show-instances flag	Tom Smeding	32 hours
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	33 hours
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	44 hours
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	3 days