Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Move shape conversion ops to Data.Array.Nested.Convert | Mikolaj Konarski | 37 hours |
* | Merge both Lemmas modules | Mikolaj Konarski | 47 hours |
* | Eliminate the dependency cycle of Lemmas modules | Mikolaj Konarski | 48 hours |
* | Move modules Permutation and Types | Mikolaj Konarski | 2 days |
* | Generalize some shape conversion functions | Mikolaj Konarski | 2 days |
* | Shape/index function rename | Tom Smeding | 2 days |
* | default-show-instances flag | Tom Smeding | 3 days |
* | Move casts to DAN.Convert; split Ranked/Shaped types into .Base | Tom Smeding | 3 days |
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 5 days |