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	5 months
exper-invperm-proof	Try write correct inverse permutation function (incomplete)	Tom Smeding	5 months
experiment-with-KnownShape	Make also the sized shaped lists strict due to impurity in horde-ad	Mikolaj Konarski	6 months
flesh-out-sized-lists	Try to make up for ToINat not being injective	Mikolaj Konarski	6 months
master	Fix slice type	Tom Smeding	6 months
singletons	Support arrays of Bool	Tom Smeding	14 days

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

Age	Commit message	Author
2024-04-29	Make also the sized shaped lists strict due to impurity in horde-adexperiment-with-KnownShape	Mikolaj Konarski
2024-04-28	Make sized ranked lists strict due to impurity evaluation order in horde-ad	Mikolaj Konarski
2024-04-25	Add KnownShape and KnownNat throughout sized shaped lists	Mikolaj Konarski
2024-04-23	Try to make up for ToINat not being injectiveflesh-out-sized-lists	Mikolaj Konarski
2024-04-23	Define and expose the recomputing of KnownINat for ranks	Mikolaj Konarski
2024-04-22	Add role annotations for sized lists	Mikolaj Konarski
2024-04-22	Add ToINat	Mikolaj Konarski
2024-04-21	Make type params of sized list newtype constructors the same as for the lists	Mikolaj Konarski
2024-04-21	Derive also the Ord instance for sized lists	Mikolaj Konarski
2024-04-21	Swap arguments of sized lists to derive Functor, etc.	Mikolaj Konarski
[...]