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
\|
*	Shape/index function rename	Tom Smeding	32 hours
\|
*	default-show-instances flag	Tom Smeding	32 hours
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	3 days