[Experiment] Qualified Types#21586

Draft

mbovel wants to merge 14 commits intoscala:mainfrom

mbovel:qualifiers-ci

Commits on Jun 11, 2025

Commits on Jun 12, 2025

Commits on Jul 1, 2025

Move normalization and comparison logic to the E-Graph
mbovel
committed

Commits on Jul 3, 2025

Implement lambdas to E-Node conversion
mbovel
committed

Commits on Jul 10, 2025

Add support for field accesses and constructors
mbovel
committed

Commits on Jul 31, 2025

WIP
mbovel
committed