Skip to content

More traits with P243 (countable pi-weight)#1812

Merged
prabau merged 1 commit into
mainfrom
pi-weight-more
Jul 2, 2026
Merged

More traits with P243 (countable pi-weight)#1812
prabau merged 1 commit into
mainfrom
pi-weight-more

More traits with P243 (countable pi-weight)

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

Annotations

1 warning
build
succeeded Jul 1, 2026 in 14s