Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Tweaks to the documentation | Jules Aguillon | 2022-01-28 | 1 | -2/+1 |
* | odoc: Fix syntax errors in comments | Jules Aguillon | 2022-01-28 | 1 | -1/+1 |
* | Typos | JPR | 2021-08-26 | 1 | -2/+2 |
* | Functorized diffing (with improved documentation) (#4) | Florian Angeletti | 2021-06-22 | 1 | -53/+72 |
* | swaps and moves | Florian Angeletti | 2021-06-22 | 1 | -2/+12 |
* | diffing: define few common functions | Florian Angeletti | 2021-06-22 | 1 | -0/+7 |
* | Semantic diffings for functor types and applications (#9331) | Gabriel Radanne | 2021-04-07 | 1 | -0/+112 |