Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
* | Add test for interaction between module signatures and GADT equalities | mrmr1993 | 2022-06-22 | 1 | -0/+504 |
index : delta/ocaml.git | ||
github.com: ocaml/ocaml |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
* | Add test for interaction between module signatures and GADT equalities | mrmr1993 | 2022-06-22 | 1 | -0/+504 |