Skip to content

ConstIntSemiring now requires Ord#35

Merged
frozenspider merged 1 commit into
mainfrom
f/ord
Jun 11, 2026
Merged

ConstIntSemiring now requires Ord#35
frozenspider merged 1 commit into
mainfrom
f/ord

ConstIntSemiring now requires Ord

9e492f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
linter_check
succeeded Jun 11, 2026 in 37s