Skip to content

Lower bounded pure Core programs into generic Target IR - #201

Merged
flyingrobots merged 37 commits into
mainfrom
feature/generic-pure-target-ir
Sep 7, 2026
Merged

Lower bounded pure Core programs into generic Target IR#201
flyingrobots merged 37 commits into
mainfrom
feature/generic-pure-target-ir

fix(core-ir): enforce expanded named-type depth

069dba5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar