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

	Commit message (Collapse)	Author	Age
*	More StrictData	Tom Smeding	2024-05-19
\|
*	Fix empty lists displayed as ']'	Mikolaj Konarski	2024-05-19
\|
*	WIP IsList instances	Tom Smeding	2024-05-18
\|
*	Custom Show instances for list-like output	Tom Smeding	2024-05-18
\|
*	More WIP	Tom Smeding	2024-05-18
\|
*	More WIP singletonisation	Tom Smeding	2024-05-17
\|
*	WIP rewrite to singletons only	Tom Smeding	2024-05-17
\|
*	Fix slice typeHEAD master	Tom Smeding	2024-05-17
\|
*	PermutePrefix abbreviation	Tom Smeding	2024-05-17
\|
*	Fix transpose	Tom Smeding	2024-05-16
\|
*	WIP stranspose type	Tom Smeding	2024-05-15
\|
*	WIP GHC nats	Tom Smeding	2024-05-14
\|
*	reshapelast-with-inat	Tom Smeding	2024-05-14
\|
*	rev1	Tom Smeding	2024-05-14
\|
*	Better {from,to}List{,1} names	Tom Smeding	2024-05-14
\|
*	Shape/index hygiene	Tom Smeding	2024-05-13
\|
*	Derive also the Ord instance for sized lists	Mikolaj Konarski	2024-04-21
\|
*	Swap arguments of sized lists to derive Functor, etc.	Mikolaj Konarski	2024-04-21
\|
*	Flesh out shaped sized lists	Mikolaj Konarski	2024-04-21
\|
*	Rename sized lists constructors according to the Convention	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
\|
*	fromList	Tom Smeding	2024-04-20
\|
*	Proper checking in *generate, plus warning in haddocks	Tom Smeding	2024-04-15
\|
*	Fix type signature of 'append'	Tom Smeding	2024-04-14
\|
*	Num instances for Mixed, Ranked, Shaped	Tom Smeding	2024-04-14
\|
*	Rename inductive Nat lemmas to INat	Tom Smeding	2024-04-14
\|
*	Fix variable naming	Tom Smeding	2024-04-14
\|
*	Make XArray a newtype	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
\|
*	Move from unboxed to storable vectors	Tom Smeding	2024-04-14
\| \| \| \|	Mikolaj requires this to interface with hmatrix
*	Switch to GHC.TypeLits.Nat for shapes	Tom Smeding	2024-04-13
\|
*	Transpose functions in the API	Tom Smeding	2024-04-09
\|
*	Fix enumShape	Tom Smeding	2024-04-03
\|
*	Some debugging Show instances	Tom Smeding	2024-04-03
\|
*	Fix fixities	Tom Smeding	2024-04-03
\|
*	Reorganise, documentation	Tom Smeding	2024-04-03