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

numeral witness: relation-only claims, supplied-value keying claims, …

5b12457
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar