aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/number/nat.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-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))