aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Merge both Lemmas modulesMikolaj Konarski21 hours
|
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski21 hours
|
* Move modules Permutation and TypesMikolaj Konarski22 hours
|
* Sort modules in cabal fileTom Smeding22 hours
|
* Generalize some shape conversion functionsMikolaj Konarski32 hours
|
* Revert "Remove the KnownNat constraint from (:5509)"Tom Smeding33 hours
| | | | | | | 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 renameTom Smeding34 hours
|
* default-show-instances flagTom Smeding34 hours
|
* Remove the KnownNat constraint from (:5509)Mikolaj Konarski34 hours
|
* Explicit re-exports of Base membersTom Smeding45 hours
| | | | | 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 consistencyTom Smeding45 hours
|
* Convert: Export list; simplify some functions with castCastableTom Smeding45 hours
|
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding46 hours
|
* Make mcast available in CastableTom Smeding46 hours
|
* mcastSafe was unsound; it's now goneTom Smeding46 hours
|
* Simplify lemRankAppTom Smeding46 hours
|
* Move Data.Array.Arith to Data.Array.Strided.OrthotopeTom Smeding48 hours
|
* Move Arith, XArray and ConvertMikolaj Konarski3 days
|
* Rename the three main public tensor API modulesMikolaj Konarski3 days
|
* Add .stylish-haskell.yaml that matches Tom's preferencesMikolaj Konarski3 days
| | | | | 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 modulesMikolaj Konarski3 days
|
* Update copyright info in cabal fileTom Smeding4 days
|
* Appease GHC 9.10.2Tom Smeding4 days
|
* Some constraints look redundant to GHC, but are notTom Smeding4 days
|
* Revert some stylistic changesTom Smeding4 days
| | | | https://x.com/comerijn/status/1257804634833420292
* Fix some of the warnings GHC 9.12.2 now producesMikolaj Konarski4 days
|
* Apply some suggestions from hlintMikolaj Konarski4 days
|
* Let stylish-haskell sort thingsMikolaj Konarski4 days
|
* Enable more warningsMikolaj Konarski4 days
|
* Add a couple of new zip operations that obviously make senseMikolaj Konarski4 days
|
* Generalise list{x,s}Zip{,With} from Const to fTom Smeding5 days
|
* Satisfy 'cabal check' a bit moreTom Smeding5 days
|
* Show BagTom Smeding5 days
|
* Let's not add commented redundant needless errorsTom Smeding5 days
|
* Fix almost all 'cabal check' warnings and errorsMikolaj Konarski5 days
|
* Add zip and zipWith for sized listsMikolaj Konarski6 days
|
* Fill in missing Head and HEADMikolaj Konarski6 days
|
* Cargo-cult NFData for all sized list typesMikolaj Konarski6 days
|
* Define fooLength and/or fooRank whenever not yet definedMikolaj Konarski6 days
|
* Fix the Show instance for ShapedMikolaj Konarski2025-04-26
|
* Put Data.Array.Nested at top of cabal fileTom Smeding2025-04-26
|
* Refactor the clever replicate-aware Show instancesTom Smeding2025-04-26
|
* Do away with ShowVia{ToListLinear,Primitive}, were unusedTom Smeding2025-04-26
|
* Show concisely arrays replicated from a single element (scalar or not)Mikolaj Konarski2025-04-26
|
* Add mstrideTree and StrideTreeMikolaj Konarski2025-04-25
|
* Bump base upper boundTom Smeding2025-04-23
|
* test: up 'random' dependencyTom Smeding2025-04-23
|
* arith: Better typing of enum stats_binary_idTom Smeding2025-04-15
|
* arith: Don't use C23 featuresTom Smeding2025-04-15
|
* Dotprod: Optimise reversed and replicated dimensionsTom Smeding2025-03-25
|
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-05-17 21:32:54 +0200