Skip to content

refactor(intent_algebra): reconcile the two L3-construction paths; intent_algebra::lower is now the single L2→L3 pass - #232

Merged
zzylol merged 1 commit into
mainfrom
pr-reconcile-l3-lowering
May 14, 2026
Merged

zzylol merged 1 commit into
mainfrom
pr-reconcile-l3-lowering

Commits

Commits on May 14, 2026