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

	Commit message (Collapse)	Author	Age
*	WIP simplify Castablesimplify-castable	Tom Smeding	33 hours
\|
*	Describe Castable philosophyHEAD master	Tom Smeding	41 hours
\|
*	Add CastZip and CastUnzip	Tom Smeding	41 hours
\|
*	Add shape checking to [rms]zip	Tom Smeding	41 hours
\|
*	Fix up and update Trace.hs	Tom Smeding	41 hours
\|
*	Reorganise and clean up {from,to}List functions	Tom Smeding	41 hours
\|
*	Add ssxDropSSX and ssxDropSh, analogous to the shx* versions	Tom Smeding	2 days
\|
*	Add CastNest and CastUnnest	Tom Smeding	2 days
\|
*	Remove unnecessary LANGUAGE pragma	Tom Smeding	3 days
\|
*	Make MapJust injective	Tom Smeding	3 days
\|
*	Simplify and expand Castable	Tom Smeding	3 days
\|
*	README: Improvements (thanks Mikolaj)	Tom Smeding	9 days
\|
*	README: more accurate	Tom Smeding	9 days
\|
*	Point to the README from the package description	Tom Smeding	9 days
\|
*	Update README	Tom Smeding	9 days
\|
*	test: Don't generate unreasonably large replicated arrays	Tom Smeding	2025-05-17
\|
*	Run stylish-haskell	Mikolaj Konarski	2025-05-17
\|
*	Nested.hs: Fix typo in doc comment	Tom Smeding	2025-05-17
\|
*	Nested.hs: import and export ordering	Tom Smeding	2025-05-17
\|
*	Update doc comments in Lemmas	Tom Smeding	2025-05-17
\|
*	Move shape conversion ops to Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Move code around in Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Merge both Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Move modules Permutation and Types	Mikolaj Konarski	2025-05-16
\|
*	Sort modules in cabal file	Tom Smeding	2025-05-16
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	2025-05-16
\|
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	2025-05-16
\| \| \| \| \| \| \|	This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31. Removing a _provided_ KnownNat constraint if we cannot remove the actual Nat information from the data type is rather pointless.
*	Shape/index function rename	Tom Smeding	2025-05-16
\|
*	default-show-instances flag	Tom Smeding	2025-05-16
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	2025-05-16
\|
*	Explicit re-exports of Base members	Tom Smeding	2025-05-16
\| \| \| \| \|	This is to ensure that haddock doesn't insert a module reference, but displays the members of the Base module inline.
*	Flip arguments of mcastToShaped for consistency	Tom Smeding	2025-05-16
\|
*	Convert: Export list; simplify some functions with castCastable	Tom Smeding	2025-05-16
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	2025-05-15
\|
*	Make mcast available in Castable	Tom Smeding	2025-05-15
\|
*	mcastSafe was unsound; it's now gone	Tom Smeding	2025-05-15
\|
*	Simplify lemRankApp	Tom Smeding	2025-05-15
\|
*	Move Data.Array.Arith to Data.Array.Strided.Orthotope	Tom Smeding	2025-05-15
\|
*	Move Arith, XArray and Convert	Mikolaj Konarski	2025-05-14
\|
*	Rename the three main public tensor API modules	Mikolaj Konarski	2025-05-14
\|
*	Add .stylish-haskell.yaml that matches Tom's preferences	Mikolaj Konarski	2025-05-14
\| \| \| \| \|	to be automatically applied at buffer save or periodically applied with find -not -path '/\.git/' -name "*.hs" -type f\| xargs stylish-haskell -i
*	Split and uniformly rename Shape modules	Mikolaj Konarski	2025-05-14
\|
*	Update copyright info in cabal file	Tom Smeding	2025-05-13
\|
*	Appease GHC 9.10.2	Tom Smeding	2025-05-13
\|
*	Some constraints look redundant to GHC, but are not	Tom Smeding	2025-05-13
\|
*	Revert some stylistic changes	Tom Smeding	2025-05-13
\| \| \| \|	https://x.com/comerijn/status/1257804634833420292
*	Fix some of the warnings GHC 9.12.2 now produces	Mikolaj Konarski	2025-05-13
\|
*	Apply some suggestions from hlint	Mikolaj Konarski	2025-05-13
\|
*	Let stylish-haskell sort things	Mikolaj Konarski	2025-05-13
\|