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

	Commit message (Collapse)	Author	Age
*	Don't force the list argument early in X.fromList*, if possiblenon-forcing-fromLists	Mikolaj Konarski	5 hours
\| \| \| \|	TODO: do the same in orthotope to make the fix in fromListOuter work.
*	toHEAD master	Tom Smeding	28 hours
\|
*	README: Document array buffer sharing policy	Tom Smeding	28 hours
\|
*	XArray: Further optimise toListOuter	Tom Smeding	29 hours
\| \| \| \|	Again, thanks Mikolaj
*	XArray: Optimise toListOuter	Tom Smeding	34 hours
\| \| \| \|	Thanks Mikolaj!
*	arith: Add IntElt instances for Int8 and Int16	Tom Smeding	40 hours
\|
*	arith: Support Int8 and Int16	Tom Smeding	40 hours
\|
*	Support Int16 and Int8	Tom Smeding	41 hours
\|
*	Equality on singletons is trivial	Tom Smeding	3 days
\|
*	ghc-typelits-knownnat 0.9.1 fixes the unsoundness again	Tom Smeding	2025-10-21
\|
*	Exclude ghc-typelits-natnormalise 0.9.0	Tom Smeding	2025-10-21
\|
*	Revert "Remove a spurious case now correclty rules out by the plugins"	Tom Smeding	2025-10-21
\| \| \| \| \| \| \|	This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
*	Remove a spurious case now correclty rules out by the plugins	Mikolaj Konarski	2025-10-20
\|
*	Tune redundant cases for no-warnings on GHC 9.12	Tom Smeding	2025-10-02
\|
*	Compatibility with GHC 9.6	Tom Smeding	2025-10-02
\|
*	Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1	Mikolaj Konarski	2025-10-02
\| \| \| \|	and probably more sound than earlier versions.
*	Tweak shape ZipWith definitions slightly	Mikolaj Konarski	2025-07-13
\|
*	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 filev0.1.0.0	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-30
\|
*	Permutations: withKnownPerm	Tom Smeding	2025-06-29
\|
*	Add existential conversions to ShS	Tom Smeding	2025-06-29
\|
*	More shape/index conversion functions	Tom Smeding	2025-06-29
\|
*	Flip some index/shape-related functions	Tom Smeding	2025-06-29
\| \| \| \| \|	This ensures that the argument order consistently puts the main thing being operated on at the end, and supporting singletons at the start.
*	Improve Conversion haddocks	Tom Smeding	2025-06-29
\|
*	Cleanup	Tom Smeding	2025-06-29
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	2025-06-26
\|
*	Add instance TestEquality Perm	Mikolaj Konarski	2025-06-19
\|
*	Rename Castable to Conversion	Tom Smeding	2025-06-09
\|
*	Derive instance Show (Castable a b)	Mikolaj Konarski	2025-06-06
\|
*	Describe Castable philosophy	Tom Smeding	2025-06-04
\|
*	Add CastZip and CastUnzip	Tom Smeding	2025-06-04
\|
*	Add shape checking to [rms]zip	Tom Smeding	2025-06-04
\|
*	Fix up and update Trace.hs	Tom Smeding	2025-06-04
\|
*	Reorganise and clean up {from,to}List functions	Tom Smeding	2025-06-04
\|
*	Add ssxDropSSX and ssxDropSh, analogous to the shx* versions	Tom Smeding	2025-06-03
\|
*	Add CastNest and CastUnnest	Tom Smeding	2025-06-03
\|
*	Remove unnecessary LANGUAGE pragma	Tom Smeding	2025-06-02
\|
*	Make MapJust injective	Tom Smeding	2025-06-02
\|
*	Simplify and expand Castable	Tom Smeding	2025-06-02
\|
*	README: Improvements (thanks Mikolaj)	Tom Smeding	2025-05-27
\|
*	README: more accurate	Tom Smeding	2025-05-27
\|
*	Point to the README from the package description	Tom Smeding	2025-05-27
\|
*	Update README	Tom Smeding	2025-05-27
\|
*	test: Don't generate unreasonably large replicated arrays	Tom Smeding	2025-05-17
\|
*	Run stylish-haskell	Mikolaj Konarski	2025-05-17
\|