Skip to content

Make Zero/One subtypes of Real - #54

Merged
lkdvos merged 2 commits into
mainfrom
isreal
Sep 21, 2026
Merged

Make Zero/One subtypes of Real#54
lkdvos merged 2 commits into
mainfrom
isreal

Make `Zero`/`One` subtypes of `Real`

90a8d4b
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Sep 21, 2026 in 1s

57.14% of diff hit (target 89.98%)

View this Pull Request on Codecov

57.14% of diff hit (target 89.98%)

View more details on Codecov