Skip to content

DDIR: the sum universe — declared types, corgi as the typer, no shape… - #854

Merged
frankmcsherry merged 4 commits into
master-nextfrom
ddir-sum-universe
Sep 2, 2026
Merged

DDIR: the sum universe — declared types, corgi as the typer, no shape…#854
frankmcsherry merged 4 commits into
master-nextfrom
ddir-sum-universe

DDIR: rename a shadowed binding in the case lowering

862b1f1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar