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

Branch	Commit message	Author	Age
exper-hs-numops	Benchmark with haskell num ops via mutable vectors	Tom Smeding	9 months
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	9 months
experiment-with-KnownShape	Make also the sized shaped lists strict due to impurity in horde-ad	Mikolaj Konarski	10 months
flesh-out-sized-lists	Try to make up for ToINat not being injective	Mikolaj Konarski	10 months
invert-castable	WIP invertable Castable	Tom Smeding	2 weeks
master	All arrays are Eq and Ord (they compare shape first, then values)	Tom Smeding	35 hours
peano-snat	WIP half-peano SNats	Tom Smeding	4 days

Tag	Download	Author	Age
last-with-inat	commit 77ab86ede9...	Tom Smeding	9 months

Age	Commit message	Author
35 hours	All arrays are Eq and Ord (they compare shape first, then values)HEAD master	Tom Smeding
35 hours	Less pointless standalone Ord instances	Tom Smeding
45 hours	arith: Fix unary op stride bugs	Tom Smeding
45 hours	arith: Some negate tests (to check stride handling)	Tom Smeding
2 days	Fix a typo in an error message	Mikolaj Konarski
3 days	arith: Only strided unary int ops	Tom Smeding
4 days	arith: Unary int ops on strided arrays without normalisation	Tom Smeding
4 days	arith: Fix cover calculation in stridesDense	Tom Smeding
4 days	Remove 'type data' for now (GHC 9.10 breaks)	Tom Smeding
2025-02-01	mcastSafe, castCastable	Tom Smeding
[...]