diff options
| author | Eduardo Julian | 2022-03-16 04:22:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-16 04:22:45 -0400 |
| commit | d710d9f4fc098e7c243c8a5f23cd42683f13e07f (patch) | |
| tree | e48633e5f21df572fbb133855e77f5c1adfd40fb /stdlib/source/library/lux/math/number/nat.lux | |
| parent | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (diff) | |
Generalized/type-agnostic arithmetic.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/math/number/nat.lux | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux index c52647e32..9ead2ee82 100644 --- a/stdlib/source/library/lux/math/number/nat.lux +++ b/stdlib/source/library/lux/math/number/nat.lux @@ -49,9 +49,8 @@ (def: .public (<= reference sample) (-> Nat Nat Bit) - (if (..< reference sample) - #1 - ("lux i64 =" reference sample))) + (or (..< reference sample) + ("lux i64 =" reference sample))) (def: .public (> reference sample) (-> Nat Nat Bit) @@ -59,9 +58,8 @@ (def: .public (>= reference sample) (-> Nat Nat Bit) - (if (..< sample reference) - #1 - ("lux i64 =" reference sample))) + (or (..< sample reference) + ("lux i64 =" reference sample))) (template [<name> <test>] [(def: .public (<name> left right) |