aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed/Lemmas.hs
Commit message (Expand)AuthorAge
* 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
* Shape/index function renameTom Smeding2025-05-16
* Simplify lemRankAppTom Smeding2025-05-15
* Add .stylish-haskell.yaml that matches Tom's preferencesMikolaj Konarski2025-05-14
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
* Revert some stylistic changesTom Smeding2025-05-13
* Add {m,r,s}dot1InnerTom Smeding2024-06-19
* Init on ListXTom Smeding2024-06-18
* Refactor Nested (modules, function names)Tom Smeding2024-05-30
* Clean up extensionsTom Smeding2024-05-30
* Refactor Mixed (modules, regular function names)Tom Smeding2024-05-30