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

	Commit message (Collapse)	Author	Age
*	The code compiles with only GHC nats	Tom Smeding	2024-05-15
\|
*	WIP GHC nats	Tom Smeding	2024-05-14
\|
*	GHC 9.8 compatibility	Tom Smeding	2024-04-20
\|
*	Rename inductive naturals to INat	Tom Smeding	2024-04-14
\|
*	Simple usage example	Tom Smeding	2024-04-03
\|
*	Reorganise, documentation	Tom Smeding	2024-04-03
\|
*	More docs, sum, shaped interface	Tom Smeding	2024-04-02
\| \| \| \| \| \|	Very satisfying to see that the Shaped interface implementation is almost exactly the same as the Ranked one: just exchanging some Shaped for Ranked, 'sh' for 'n', etc. yields the Shaped interface.
*	Nats	Tom Smeding	2024-03-27
\|
*	GHC typenats are bad	Tom Smeding	2024-03-27
\|
*	Initial	Tom Smeding	2024-03-26