Skip to content

Add StrictlyPositive type and deprecate non-zero (#124) - #125

Merged
joaquinbejar merged 3 commits into
mainfrom
issue-124-strictly-positive
Oct 5, 2026
Merged

joaquinbejar merged 3 commits into
mainfrom
issue-124-strictly-positive

Commits

  1. Commits on Oct 5, 2026