diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/math/arithmetic/modular.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/math/arithmetic/modular.lux b/stdlib/source/test/lux/math/arithmetic/modular.lux index 0d0a85f46..d1e3708d7 100644 --- a/stdlib/source/test/lux/math/arithmetic/modular.lux +++ b/stdlib/source/test/lux/math/arithmetic/modular.lux @@ -3,10 +3,10 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]] ["[0]" codec ["[1]T" \\test]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" order ["[1]T" \\test]] ["[0]" monoid @@ -57,7 +57,7 @@ another (..random subject::%)] (`` (all _.and (_.for [/.equivalence /.=] - ($equivalence.spec /.equivalence (..random subject::%))) + (equivalenceT.spec /.equivalence (..random subject::%))) (_.for [/.order /.<] (orderT.spec /.order (..random subject::%))) (,, (with_template [<composite> <monoid>] |