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

	Commit message (Collapse)	Author	Age
*	Move shape conversion ops to Data.Array.Nested.Convert	Mikolaj Konarski	31 hours
\|
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	42 hours
\|
*	Move modules Permutation and Types	Mikolaj Konarski	42 hours
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	2 days
\|
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	2 days
\| \| \| \| \| \| \|	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	2 days
\|
*	default-show-instances flag	Tom Smeding	2 days
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	2 days
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	4 days