aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Ranked
Commit message (Collapse)AuthorAge
* Tune redundant cases for no-warnings on GHC 9.12HEADmasterTom Smeding37 hours
|
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski38 hours
| | | | and probably more sound than earlier versions.
* More shape/index conversion functionsTom 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
|
* Shape/index function renameTom Smeding2025-05-16
|
* default-show-instances flagTom Smeding2025-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.51.0) at 2025-10-04 03:13:44 +0200