Skip to content

v1: a numeral inhabits a kernel type only when its algebra admits one; guards and if conditions are judged against Bool - #12841

Merged
briansrls merged 3 commits into
mainfrom
session/clever-lynx-801
Oct 2, 2026
Merged

v1: a numeral inhabits a kernel type only when its algebra admits one; guards and if conditions are judged against Bool#12841
briansrls merged 3 commits into
mainfrom
session/clever-lynx-801

Commits

Commits on Sep 30, 2026