lcnr
|
e5e3a95c1e
|
norm nested aliases before evaluating the parent goal
|
2025-04-24 18:41:43 +00:00 |
|
lcnr
|
f910684616
|
don't ICE for alias-relate goals with error term
|
2025-02-18 10:30:37 +01:00 |
|
Michael Goulet
|
275d922dab
|
Rename tcx to cx
|
2024-06-25 17:36:52 -04:00 |
|
Michael Goulet
|
db638ab968
|
Rename a bunch of things
|
2024-06-21 12:32:05 -04:00 |
|
Michael Goulet
|
fb6f4b4a6e
|
Explicitly import tracing macros
|
2024-06-18 11:04:01 -04:00 |
|
Michael Goulet
|
532149eb88
|
Uplift the new trait solver
|
2024-06-18 10:55:34 -04:00 |
|