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

	Commit message (Collapse)	Author	Age
...
*	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