Skip to content

Normalize Lambda terms where they are built - #8615

Merged
cristianoc merged 4 commits into
masterfrom
lambda/normalize-at-construction
Sep 5, 2026
Merged

Normalize Lambda terms where they are built#8615
cristianoc merged 4 commits into
masterfrom
lambda/normalize-at-construction

Route mk_builtin through the folding constructors

67cbb86
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 5, 2026 in 1s

88.88% of diff hit (target 77.32%)

View this Pull Request on Codecov

88.88% of diff hit (target 77.32%)

View more details on Codecov