diff options
Diffstat (limited to '')
-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)) |