aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Ranked/Shape.hs
Commit message (Expand)AuthorAge
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski37 hours
* Merge both Lemmas modulesMikolaj Konarski47 hours
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski47 hours
* Move modules Permutation and TypesMikolaj Konarski47 hours
* Generalize some shape conversion functionsMikolaj Konarski2 days
* Shape/index function renameTom Smeding2 days
* default-show-instances flagTom Smeding2 days
* Split and uniformly rename Shape modulesMikolaj Konarski4 days