aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Lemmas.hs
Commit message (Expand)AuthorAge
* Update doc comments in LemmasTom Smeding27 hours
* Merge both Lemmas modulesMikolaj Konarski37 hours
* Clearer module purposesTom Smeding2024-05-30
* Refactor Nested (modules, function names)Tom Smeding2024-05-30