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

	Commit message (Collapse)	Author	Age
*	Shape/index hygiene	Tom Smeding	2024-05-13
\|
*	Replace SShape with ShS	Tom Smeding	2024-05-13
\|
*	Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime info	Tom Smeding	2024-05-13
\| \| \| \|	ShS is a borderline case, though
*	Define and expose the recomputing of KnownINat for ranks	Mikolaj Konarski	2024-04-23
\|
*	Export more of the sized lists, including the newtype constructors	Mikolaj Konarski	2024-04-21
\| \| \| \| \|	Maybe the newtype constructors can be hidden in the future and if not, maybe they should only be available from an internal module.
*	Flesh out shaped sized lists	Mikolaj Konarski	2024-04-21
\|
*	Flesh out ranked sized lists	Mikolaj Konarski	2024-04-21
\|
*	Make index types useful for horde-ad by parameterising Int	Tom Smeding	2024-04-21
\|
*	slice	Tom Smeding	2024-04-20
\|
*	toList	Tom Smeding	2024-04-20
\|
*	fromList1 (the analogue to orthotope's fromList)	Tom Smeding	2024-04-20
\|
*	fromList	Tom Smeding	2024-04-20
\|
*	unScalar, constant	Tom Smeding	2024-04-14
\|
*	fromVector	Tom Smeding	2024-04-14
\|
*	Exports, documentation	Tom Smeding	2024-04-14
\|
*	scalar	Tom Smeding	2024-04-14
\|
*	Add forgotten export in public interface	Tom Smeding	2024-04-14
\|
*	Fix constraints in Data.Array.Mixed	Tom Smeding	2024-04-14
\| \| \| \| \|	These were still Unbox from before the transition to orthotope's Storable API
*	Rename inductive naturals to INat	Tom Smeding	2024-04-14
\|
*	Transpose functions in the API	Tom Smeding	2024-04-09
\|
*	Reorganise, documentation	Tom Smeding	2024-04-03