ox-arrays - Nested, compositional struct-of-arrays orthotope arrays

Branch	Commit message	Author	Age
SPEC-magic	SPEC magic	Mikolaj Konarski	4 weeks
master	XArray: Fix doc comment on ravelOuterN	Tom Smeding	3 weeks
mgenerate-integral	Generalize also mgenerate to potentially avoid @fmap fromIntegral@	Mikolaj Konarski	4 weeks
mvecsReplicate	Improve the implementation of the other fromSNat'	Mikolaj Konarski	21 hours
non-forcing-fromLists	Don't force the list argument early in X.fromList*, if possible	Mikolaj Konarski	6 weeks
port-to-natnormalise-0.8.1	Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled	Mikolaj Konarski	3 months
port-to-plugins-0.8.1	Done	Mikolaj Konarski	3 months
repro-9.14-branch	Update the repro vs plugins update courtesy of Sam	Mikolaj Konarski	4 months
reptrans-failed	Failed experiment to add replicate/transpose combination	Tom Smeding	5 months
simplify-castable	Bidirectional inference for KnownElt	Tom Smeding	7 months
[...]

Tag	Download	Author	Age
repro-lint-profile	commit b1253991b2...	Mikolaj Konarski	8 days
repro-UNPACK	commit 21d3d6190b...	Mikolaj Konarski	13 days
v0.1.0.0	commit bff10fbf08...	Tom Smeding	6 months
last-with-inat	commit 77ab86ede9...	Tom Smeding	19 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
[...]