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

Commits

  1. Commits on Sep 22, 2026