summaryrefslogtreecommitdiff
path: root/semiring/src/counting.rs
AgeCommit message (Collapse)Author
2023-02-27before a major refactorJSDurand
I decide to adopt a new approach of recording and updating item derivation forests. Since this affects a lot of things, I decide to commit before the refactor, so that I can create a branch for that refactor.