| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add injectivity annotations (#9500) | Jacques Garrigue | 2020-06-15 | 1 | -1/+2 |
| * | Changed to using a Variant for the Variance, instead of a bare int | Rian Douglas | 2019-08-09 | 1 | -1/+7 |
| * | Added missing headers in [typing/typedecl_*.mli]. | Rodolphe Lepigre | 2018-11-24 | 1 | -0/+16 |
| * | Typedecl: split variance to a separate unit Typedecl_variance | Gabriel Scherer | 2018-11-23 | 1 | -0/+40 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |