aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Lemmas.hs
Commit message (Collapse)AuthorAge
* Doneport-to-plugins-0.8.1Mikolaj Konarski4 days
|
* WIPMikolaj Konarski6 days
|
* Update doc comments in LemmasTom Smeding2025-05-17
|
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
|
* Clearer module purposesTom Smeding2024-05-30
| | | | Thanks Mikolaj for discussion
* Refactor Nested (modules, function names)Tom Smeding2024-05-30