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	13 months
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	13 months
experiment-with-KnownShape	Make also the sized shaped lists strict due to impurity in horde-ad	Mikolaj Konarski	14 months
flesh-out-sized-lists	Try to make up for ToINat not being injective	Mikolaj Konarski	14 months
invert-castable	WIP invertable Castable	Tom Smeding	4 months
master	Add instance TestEquality Perm	Mikolaj Konarski	3 days
peano-snat	WIP half-peano SNats	Tom Smeding	4 months
simplify-castable	Bidirectional inference for KnownElt	Tom Smeding	2 weeks

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

Age	Commit message	Author
3 days	Add instance TestEquality PermHEAD master	Mikolaj Konarski
13 days	Rename Castable to Conversion	Tom Smeding
2025-06-06	Derive instance Show (Castable a b)	Mikolaj Konarski
2025-06-04	Describe Castable philosophy	Tom Smeding
2025-06-04	Add CastZip and CastUnzip	Tom Smeding
2025-06-04	Add shape checking to [rms]zip	Tom Smeding
2025-06-04	Fix up and update Trace.hs	Tom Smeding
2025-06-04	Reorganise and clean up {from,to}List functions	Tom Smeding
2025-06-03	Add ssxDropSSX and ssxDropSh, analogous to the shx* versions	Tom Smeding
2025-06-03	Add CastNest and CastUnnest	Tom Smeding
[...]