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

	Commit message (Collapse)	Author	Age
*	Remove now-unused import :D	Tom Smeding	11 days
\|
*	Make fromInteger error for all array types	Tom Smeding	11 days
\| \| \| \|	They made no sense anyway, and horde-ad should now not use them any more
*	Support arrays of Bool	Tom Smeding	2024-10-18
\|
*	Remove obsolete TODO	Tom Smeding	2024-06-20
\|
*	Add {m,r,s}dot1Inner	Tom Smeding	2024-06-19
\|
*	sumAllPrim	Tom Smeding	2024-06-17
\|
*	Generalise more lifting functions	Tom Smeding	2024-06-17
\|
*	Generalise some of the lifting functions to type-changing	Tom Smeding	2024-06-17
\|
*	Show instances via toListLinear	Tom Smeding	2024-06-14
\|
*	[mrs]{from,to}ListLinear	Tom Smeding	2024-06-14
\|
*	Export full [mrs]{shape,rank,size} set	Tom Smeding	2024-06-14
\|
*	Add TODO	Tom Smeding	2024-06-11
\|
*	Add (temporary version of) more general mdot	Tom Smeding	2024-06-10
\|
*	Add *flatten	Tom Smeding	2024-06-10
\|
*	Update TODO	Tom Smeding	2024-06-10
\|
*	Very unsafe fromInteger that crashes everything if you do it wrong	Tom Smeding	2024-06-10
\|
*	Add TODO	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
\|
*	argmin and argmax	Tom Smeding	2024-06-09
\|
*	Add mliftL (written but yet unused)	Tom Smeding	2024-06-09
\|
*	nest, unNest	Tom Smeding	2024-06-09
\|
*	Concatenation of arrays for M and R	Tom Smeding	2024-06-09
\| \| \| \|	What should the type of sconcat be?
*	Small cleanups	Tom Smeding	2024-06-09
\|
*	Generalise Ord instances to full lexicographical order	Tom Smeding	2024-06-07
\|
*	asXArrayPrim -> toXArrayPrim	Tom Smeding	2024-06-03
\| \| \| \|	This name makes much more sense in combination with *fromXArrayPrim.
*	Add StrictData in Nested.Mixed	Tom Smeding	2024-05-31
\|
*	Clearer module purposes	Tom Smeding	2024-05-30
	Thanks Mikolaj for discussion