diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/quotient.lux | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index 962d2d2aa..11d711ac7 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)] - [\spec - ["$." equivalence]]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat ("#\." equivalence)]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)] + [\\spec + ["$." equivalence]]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat ("#\." equivalence)]]]]] + [\\library ["." /]]) (def: #export (random class super) |