aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* README: Improvements (thanks Mikolaj)HEADmasterTom Smeding22 hours
* README: more accurateTom Smeding22 hours
* Point to the README from the package descriptionTom Smeding22 hours
* Update READMETom Smeding22 hours
* test: Don't generate unreasonably large replicated arraysTom Smeding11 days
* Run stylish-haskellMikolaj Konarski11 days
* Nested.hs: Fix typo in doc commentTom Smeding11 days
* Nested.hs: import and export orderingTom Smeding11 days
* Update doc comments in LemmasTom Smeding11 days
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski11 days
* Move code around in Data.Array.Nested.ConvertMikolaj Konarski11 days
* Merge both Lemmas modulesMikolaj Konarski12 days
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski12 days
* Move modules Permutation and TypesMikolaj Konarski12 days
* Sort modules in cabal fileTom Smeding12 days
* Generalize some shape conversion functionsMikolaj Konarski12 days
* Revert "Remove the KnownNat constraint from (:5509)"Tom Smeding12 days
* Shape/index function renameTom Smeding12 days
* default-show-instances flagTom Smeding12 days
* Remove the KnownNat constraint from (:5509)Mikolaj Konarski12 days
* Explicit re-exports of Base membersTom Smeding13 days
* Flip arguments of mcastToShaped for consistencyTom Smeding13 days
* Convert: Export list; simplify some functions with castCastableTom Smeding13 days
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding13 days
* Make mcast available in CastableTom Smeding13 days
* mcastSafe was unsound; it's now goneTom Smeding13 days
* Simplify lemRankAppTom Smeding13 days
* Move Data.Array.Arith to Data.Array.Strided.OrthotopeTom Smeding13 days
* Move Arith, XArray and ConvertMikolaj Konarski2025-05-14
* Rename the three main public tensor API modulesMikolaj Konarski2025-05-14
* Add .stylish-haskell.yaml that matches Tom's preferencesMikolaj Konarski2025-05-14
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
* Update copyright info in cabal fileTom Smeding2025-05-13
* Appease GHC 9.10.2Tom Smeding2025-05-13
* Some constraints look redundant to GHC, but are notTom Smeding2025-05-13
* Revert some stylistic changesTom Smeding2025-05-13
* Fix some of the warnings GHC 9.12.2 now producesMikolaj Konarski2025-05-13
* Apply some suggestions from hlintMikolaj Konarski2025-05-13
* Let stylish-haskell sort thingsMikolaj Konarski2025-05-13
* Enable more warningsMikolaj Konarski2025-05-13
* Add a couple of new zip operations that obviously make senseMikolaj Konarski2025-05-13
* Generalise list{x,s}Zip{,With} from Const to fTom Smeding2025-05-12
* Satisfy 'cabal check' a bit moreTom Smeding2025-05-12
* Show BagTom Smeding2025-05-12
* Let's not add commented redundant needless errorsTom Smeding2025-05-12
* Fix almost all 'cabal check' warnings and errorsMikolaj Konarski2025-05-12
* Add zip and zipWith for sized listsMikolaj Konarski2025-05-11
* Fill in missing Head and HEADMikolaj Konarski2025-05-11
* Cargo-cult NFData for all sized list typesMikolaj Konarski2025-05-11
* Define fooLength and/or fooRank whenever not yet definedMikolaj Konarski2025-05-11