aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Internal/Lemmas.hs
Commit message (Collapse)AuthorAge
* Rename some commuting lemmas to better namesTom Smeding2024-05-31
|
* Clearer module purposesTom Smeding2024-05-30
Thanks Mikolaj for discussion