aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Shaped
Commit message (Expand)AuthorAge
* Tweak shape ZipWith definitions slightlyHEADmasterMikolaj Konarski2 days
* Apply a small fraction of hlint hintsMikolaj Konarski2025-06-30
* More shape/index conversion functionsTom Smeding2025-06-29
* CleanupTom Smeding2025-06-29
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski2025-05-17
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
* Generalize some shape conversion functionsMikolaj Konarski2025-05-16
* Revert "Remove the KnownNat constraint from (:5509)"Tom Smeding2025-05-16
* Shape/index function renameTom Smeding2025-05-16
* default-show-instances flagTom Smeding2025-05-16
* Remove the KnownNat constraint from (:5509)Mikolaj Konarski2025-05-16
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
generated by cgit v1.2.3-70-g09d2 (git 2.50.0) at 2025-07-15 22:58:28 +0200