aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Ranked/Base.hs
Commit message (Expand)AuthorAge
* Merge both Lemmas modulesMikolaj Konarski15 hours
* Move modules Permutation and TypesMikolaj Konarski16 hours
* Shape/index function renameTom Smeding28 hours
* default-show-instances flagTom Smeding28 hours
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding40 hours