Closed therealyingtong closed 11 months ago
[review recommendation: commit-by-commit]
Introduces support for non-strict (a ≤ b) mode.
a ≤ b
Based on #229; see this commit range for relevant diff.
Thanks! Cherry-picked to master since this PR also included #229 and I merged that beforehand.
master
[review recommendation: commit-by-commit]
Introduces support for non-strict (
a ≤ b
) mode.Based on #229; see this commit range for relevant diff.