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	2 days
\|
*	Merge both Lemmas modules	Mikolaj Konarski	3 days
\|
*	Move modules Permutation and Types	Mikolaj Konarski	3 days
\|
*	Shape/index function rename	Tom Smeding	3 days
\|
*	default-show-instances flag	Tom Smeding	3 days
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	4 days