Skip to content

Lower Effect Unit command entries through the existing closure - #140

Merged
biuld merged 2 commits into
masterfrom
fix/effect-command-entry
Oct 4, 2026
Merged

Lower Effect Unit command entries through the existing closure#140
biuld merged 2 commits into
masterfrom
fix/effect-command-entry

Keep quantified effect wrappers and import diagnostics on their source

56a692e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar