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	16 months
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	16 months
experiment-with-KnownShape	Make also the sized shaped lists strict due to impurity in horde-ad	Mikolaj Konarski	17 months
flesh-out-sized-lists	Try to make up for ToINat not being injective	Mikolaj Konarski	18 months
invert-castable	WIP invertable Castable	Tom Smeding	8 months
master	Tune redundant cases for no-warnings on GHC 9.12	Tom Smeding	6 days
peano-snat	WIP half-peano SNats	Tom Smeding	8 months
port-to-natnormalise-0.8.1	Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled	Mikolaj Konarski	6 days
port-to-plugins-0.8.1	Done	Mikolaj Konarski	12 days
repro-9.14-branch	Update the repro vs plugins update courtesy of Sam	Mikolaj Konarski	7 weeks
reptrans-failed	Failed experiment to add replicate/transpose combination	Tom Smeding	2 months
simplify-castable	Bidirectional inference for KnownElt	Tom Smeding	4 months