Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use the eager unifier in the constraint solver | Simon Peyton Jones | 2023-05-12 | 1 | -18/+94 |
* | Look both ways when looking for quantified equalities | Simon Peyton Jones | 2023-05-11 | 1 | -36/+11 |
* | Refactor the constraint solver pipelinewip/T23070 | Simon Peyton Jones | 2023-03-22 | 1 | -0/+859 |