diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/predicate.lux')
-rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 41 |
1 files changed, 21 insertions, 20 deletions
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 133fbdcba..0535b5802 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] - [\spec - ["$." monoid] - [functor - ["$." contravariant]]]] - [control - ["." function]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)] + [\\spec + ["$." monoid] + [functor + ["$." contravariant]]]] + [control + ["." function]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: (multiple? factor) |