| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #10825 from gasche/shape-strong-call-by-need | Florian Angeletti | 2022-01-20 | 1 | -0/+4 |
| | | | | | | Shapes: a strong-call-by-need evaluator (cherry picked from commit 7705e920648cb9ee4879e832da942fae45230f6d) | ||||
| * | Shapes: Add Shape module with terms definitions and utility functions | Ulysse Gérard | 2021-11-09 | 1 | -0/+153 |
| /!\ Need bootstrap + Move Uid and Sig_component_kind to Shape Co-authored-by: Thomas Refis <thomas.refis@gmail.com> | |||||
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |