Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #10825 from gasche/shape-strong-call-by-need | Florian Angeletti | 2022-01-20 | 1 | -0/+4 |
* | Shapes: Add Shape module with terms definitions and utility functions | Ulysse GĂ©rard | 2021-11-09 | 1 | -0/+153 |