diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/predicate.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 78e6167a8..fa1ad503d 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monad (.only do)] [\\specification ["$[0]" monoid] [functor @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library |