diff options
author | Eduardo Julian | 2022-04-07 03:27:59 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-07 03:27:59 -0400 |
commit | 9224e54bf175ebe13c3fae42f04b649413c737e7 (patch) | |
tree | dab2b19f79e79020792ee0bfe0fb6abe522639a3 /stdlib/source/library/lux/math/number/nat.lux | |
parent | 7542b0addd9eaf01dd5f1c4c8a39b67f51a4bd06 (diff) |
De-sigil-ification: &
Diffstat (limited to 'stdlib/source/library/lux/math/number/nat.lux')
-rw-r--r-- | stdlib/source/library/lux/math/number/nat.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux index da1670111..2f570c7c2 100644 --- a/stdlib/source/library/lux/math/number/nat.lux +++ b/stdlib/source/library/lux/math/number/nat.lux @@ -150,20 +150,20 @@ (implementation: .public order (Order Nat) - (def: &equivalence ..equivalence) + (def: equivalence ..equivalence) (def: < ..<)) (implementation: .public enum (Enum Nat) - (def: &order ..order) + (def: order ..order) (def: succ ++) (def: pred --)) (implementation: .public interval (Interval Nat) - (def: &enum ..enum) + (def: enum ..enum) (def: top (-- 0)) (def: bottom 0)) @@ -362,5 +362,5 @@ (implementation: .public hash (Hash Nat) - (def: &equivalence ..equivalence) + (def: equivalence ..equivalence) (def: hash function.identity)) |