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

	Commit message (Collapse)	Author	Age
*	Add Float primitive type	Tom Smeding	2024-05-21
\|
*	Int32 and CInt instances	Tom Smeding	2024-05-21
\|
*	WIP benchmark file	Tom Smeding	2024-05-20
\|
*	iota	Tom Smeding	2024-05-20
\|
*	Some missing operations (rlift2, slift2)	Tom Smeding	2024-05-20
\|
*	Reorganise exports	Tom Smeding	2024-05-20
\|
*	Better {from,to}List set	Tom Smeding	2024-05-20
\|
*	Generalise *rerank to type-changing functions	Tom Smeding	2024-05-20
\|
*	Rename 'test' component to 'example'	Tom Smeding	2024-05-20
\|
*	Fix type of srerank	Tom Smeding	2024-05-20
\|
*	rfromOrthotope	Tom Smeding	2024-05-20
\|
*	Make Storable a superclass of PrimElt	Tom Smeding	2024-05-20
\|
*	Rerank on primitive arrays	Tom Smeding	2024-05-20
\|
*	constant -> replicate	Tom Smeding	2024-05-20
\|
*	Some conversions	Tom Smeding	2024-05-20
\|
*	Remove forgotten -Wno-unused-imports	Tom Smeding	2024-05-20
\|
*	Add TODOs	Tom Smeding	2024-05-20
\|
*	mtranspose without rerank	Tom Smeding	2024-05-20
\|
*	Make Int64 a legal array element type	Tom Smeding	2024-05-19
\|
*	Export the two non-Foldable toList functions publicly	Tom Smeding	2024-05-19
\|
*	Expose all IsList(toList) functions without constraints	Tom Smeding	2024-05-19
\| \| \| \|	Some are Foldable.toList, some are a separate top-level function
*	Fix some fromLists	Tom Smeding	2024-05-19
\|
*	Update TODOs	Tom Smeding	2024-05-19
\|
*	Some IsList instances	Tom Smeding	2024-05-19
\|
*	SNat has COMPLETE in ghc 9.8	Tom Smeding	2024-05-19
\|
*	More StrictData	Tom Smeding	2024-05-19
\|
*	Make sized lists strict	Mikolaj Konarski	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
\|
*	Put KnownNat inside ListS; REVERT ME LATER	Tom Smeding	2024-05-18
\|
*	Finish singletons refactor?	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
\|
*	Convert arrays <-> XArray	Tom Smeding	2024-05-16
\|
*	Fix transpose	Tom Smeding	2024-05-16
\|
*	WIP stranspose type	Tom Smeding	2024-05-15
\|
*	Consistently n + 1	Tom Smeding	2024-05-15
\|
*	The code compiles with only GHC nats	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
\|
*	Fixup fromList names	Tom Smeding	2024-05-14
\|
*	More coerce	Tom Smeding	2024-05-14
\|
*	Better {from,to}List{,1} names	Tom Smeding	2024-05-14
\|
*	toVector	Tom Smeding	2024-05-14
\|
*	Introduce EltRepr (no more Primitive/Coercible in API)	Tom Smeding	2024-05-14
\|