| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -4/+4 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -5/+2 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -0/+83 |
