diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/equivalence.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 0193773eb..95f62218c 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -37,8 +37,8 @@ (\ right = leftN rightN))))))]] (<| (_.covering /._) ($_ _.and - (_.with-cover [/.functor] - ($contravariant.spec equivalence n.equivalence /.functor)) + (_.for [/.functor] + ($contravariant.spec equivalence n.equivalence /.functor)) (_.cover [/.sum] (let [equivalence (/.sum n.equivalence i.equivalence)] (and (bit\= (\ n.equivalence = leftN leftN) |