Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use the eager unifier in the constraint solver | Simon Peyton Jones | 2023-05-12 | 1 | -212/+276 |
* | Look both ways when looking for quantified equalities | Simon Peyton Jones | 2023-05-11 | 1 | -12/+55 |
* | Major refactor in the handling of equality constraints | Simon Peyton Jones | 2023-04-14 | 1 | -402/+462 |
* | Refactor the constraint solver pipelinewip/T23070 | Simon Peyton Jones | 2023-03-22 | 1 | -0/+2964 |