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

	Commit message (Collapse)	Author	Age
*	Add withKnownSh{S,X}	Tom Smeding	9 days
\|
*	Fix error message in listxFromList	Tom Smeding	2024-10-10
\|
*	TestEquality for StaticShX	Tom Smeding	2024-10-07
\|
*	arith: Respect offsets in dotprodinner	Tom Smeding	2024-07-21
\|
*	Add {m,r,s}dot1Inner	Tom Smeding	2024-06-19
\|
*	Clean up Foreign.hs	Tom Smeding	2024-06-18
\|
*	More sensible argument order to reduce1 C op	Tom Smeding	2024-06-18
\|
*	Init on ListX	Tom Smeding	2024-06-18
\|
*	sumAllPrim	Tom Smeding	2024-06-17
\|
*	Generalise some of the lifting functions to type-changing	Tom Smeding	2024-06-17
\|
*	Rename LengthSNat to Rank	Tom Smeding	2024-06-13
\|
*	Conciseness cleanup	Tom Smeding	2024-06-10
\|
*	Make arith code aware of negative strides	Tom Smeding	2024-06-10
\|
*	Clean up some redundant catMaybes	Tom Smeding	2024-06-10
\|
*	Dot product	Tom Smeding	2024-06-10
\|
*	Rename arg{min,max} to {min,max}Index	Tom Smeding	2024-06-10
\|
*	Fix extremum for replicated input arrays	Tom Smeding	2024-06-10
\|
*	argmin and argmax	Tom Smeding	2024-06-09
\|
*	Extract {listx,shx}FromList from IsList instances	Tom Smeding	2024-06-09
\| \| \| \|	Also add ixxFromList for consistency
*	Concatenation of arrays for M and R	Tom Smeding	2024-06-09
\| \| \| \|	What should the type of sconcat be?
*	Fix stride handling of binary arith ops	Tom Smeding	2024-06-09
\| \| \| \|	liftVEltwise2 just completely ignored the existence of strides ._.
*	Generalise Ord instances to full lexicographical order	Tom Smeding	2024-06-07
\|
*	Properly test C reductions	Tom Smeding	2024-06-03
\|
*	Rename ToSNat to LengthSNat	Tom Smeding	2024-06-03
\| \| \| \|	For consistency with existing functions
*	rrank, rtoOrthotope	Tom Smeding	2024-06-03
\|
*	Move sh*Tail to main ox-arrays	Tom Smeding	2024-06-03
\|
*	Test permInverse	Tom Smeding	2024-06-03
\|
*	Some more generators for tests	Tom Smeding	2024-06-03
\|
*	Separate permCheckPermutation from permInverse	Tom Smeding	2024-06-03
\|
*	Introduce PermR type synonym	Tom Smeding	2024-06-03
\|
*	Clearer module purposes	Tom Smeding	2024-05-30
\| \| \| \|	Thanks Mikolaj for discussion
*	Refactor Nested (modules, function names)	Tom Smeding	2024-05-30
\|
*	Clean up extensions	Tom Smeding	2024-05-30
\|
*	Refactor Mixed (modules, regular function names)	Tom Smeding	2024-05-30