diff options
Diffstat (limited to 'stdlib/source/test/lux/type/quotient.lux')
| -rw-r--r-- | stdlib/source/test/lux/type/quotient.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index f10d2a4c2..9809da7a0 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat ("[1]#[0]" equivalence)]]]]] [\\library |