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	15 months
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	15 months
experiment-with-KnownShape	Make also the sized shaped lists strict due to impurity in horde-ad	Mikolaj Konarski	15 months
flesh-out-sized-lists	Try to make up for ToINat not being injective	Mikolaj Konarski	16 months
invert-castable	WIP invertable Castable	Tom Smeding	6 months
master	Tweak shape ZipWith definitions slightly	Mikolaj Konarski	4 weeks
peano-snat	WIP half-peano SNats	Tom Smeding	6 months
reptrans-failed	Failed experiment to add replicate/transpose combination	Tom Smeding	8 days
simplify-castable	Bidirectional inference for KnownElt	Tom Smeding	2 months

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

Age	Commit message	Author
2024-05-28	Try write correct inverse permutation function (incomplete)exper-invperm-proof	Tom Smeding
2024-05-27	Add some HList instances	Tom Smeding
2024-05-27	Record the dependency on arith_lists.h for recompilation checking	Tom Smeding
2024-05-27	Export NumElt and FloatElt publicly	Tom Smeding
2024-05-27	Re-add KnownNatList for convenience with transpose functions	Tom Smeding
2024-05-27	Fast (C) Floating ops	Tom Smeding
2024-05-26	Fast Fractional ops via C code	Tom Smeding
2024-05-26	Cleanup	Tom Smeding
2024-05-26	Use fast C ops for X.sumFull	Tom Smeding
2024-05-26	Fix bug in rerank workaround	Tom Smeding
[...]