aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/number/nat.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-04-07 03:27:59 -0400
committerEduardo Julian2022-04-07 03:27:59 -0400
commit9224e54bf175ebe13c3fae42f04b649413c737e7 (patch)
treedab2b19f79e79020792ee0bfe0fb6abe522639a3 /stdlib/source/library/lux/math/number/nat.lux
parent7542b0addd9eaf01dd5f1c4c8a39b67f51a4bd06 (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.lux8
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))