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

Branch	Commit message	Author	Age
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	18 months
invert-castable	WIP invertable Castable	Tom Smeding	9 months
master	to	Tom Smeding	28 hours
non-forcing-fromLists	Don't force the list argument early in X.fromList*, if possible	Mikolaj Konarski	5 hours
peano-snat	WIP half-peano SNats	Tom Smeding	9 months
port-to-natnormalise-0.8.1	Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled	Mikolaj Konarski	7 weeks
port-to-plugins-0.8.1	Done	Mikolaj Konarski	7 weeks
repro-9.14-branch	Update the repro vs plugins update courtesy of Sam	Mikolaj Konarski	3 months
reptrans-failed	Failed experiment to add replicate/transpose combination	Tom Smeding	3 months
simplify-castable	Bidirectional inference for KnownElt	Tom Smeding	5 months
[...]

Tag	Download	Author	Age
v0.1.0.0	commit bff10fbf08...	Tom Smeding	5 months
last-with-inat	commit 77ab86ede9...	Tom Smeding	18 months

Age	Commit message	Author
5 hours	Don't force the list argument early in X.fromList*, if possiblenon-forcing-fromLists	Mikolaj Konarski
28 hours	toHEAD master	Tom Smeding
28 hours	README: Document array buffer sharing policy	Tom Smeding
29 hours	XArray: Further optimise toListOuter	Tom Smeding
34 hours	XArray: Optimise toListOuter	Tom Smeding
40 hours	arith: Add IntElt instances for Int8 and Int16	Tom Smeding
40 hours	arith: Support Int8 and Int16	Tom Smeding
41 hours	Support Int16 and Int8	Tom Smeding
3 days	Equality on singletons is trivial	Tom Smeding
2025-10-21	ghc-typelits-knownnat 0.9.1 fixes the unsoundness again	Tom Smeding
[...]