aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Internal/Lemmas.hs
Commit message (Collapse)AuthorAge
* Add .stylish-haskell.yaml that matches Tom's preferencesMikolaj Konarski39 hours
| | | | | to be automatically applied at buffer save or periodically applied with find -not -path '*/\.git/*' -name "*.hs" -type f| xargs stylish-haskell -i
* Split and uniformly rename Shape modulesMikolaj Konarski39 hours
|
* Rename some commuting lemmas to better namesTom Smeding2024-05-31
|
* Clearer module purposesTom Smeding2024-05-30
Thanks Mikolaj for discussion