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	14 months
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	14 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	15 months
invert-castable	WIP invertable Castable	Tom Smeding	6 months
master	Tweak shape ZipWith definitions slightly	Mikolaj Konarski	12 days
peano-snat	WIP half-peano SNats	Tom Smeding	5 months
simplify-castable	Bidirectional inference for KnownElt	Tom Smeding	7 weeks

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

Age	Commit message	Author
12 days	Tweak shape ZipWith definitions slightlyHEAD master	Mikolaj Konarski
2025-06-30	Add SNat import to readme taster	Tom Smeding
2025-06-30	Cross-package doc links are half-broken, let's not	Tom Smeding
2025-06-30	Fix rerank docs	Tom Smeding
2025-06-30	Fix formatting in cabal file	Tom Smeding
2025-06-30	Package description and changelog	Tom Smeding
2025-06-30	Common-up some options in cabal file	Tom Smeding
2025-06-30	Apply a small fraction of hlint hints	Mikolaj Konarski
2025-06-29	Permutations: withKnownPerm	Tom Smeding
2025-06-29	Add existential conversions to ShS	Tom Smeding
[...]