Skip to content

Two cheap witnesses: the coercion two-algebra fork is a shared-no-key fork, and the bindings selection fold is a negative - #12055

Merged
briansrls merged 6 commits into
mainfrom
session/gentle-dove-188
Sep 22, 2026
Merged

Two cheap witnesses: the coercion two-algebra fork is a shared-no-key fork, and the bindings selection fold is a negative#12055
briansrls merged 6 commits into
mainfrom
session/gentle-dove-188

fix parse: annotation left at EOF by the claim deletion needs a follo…

0e6435c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar