diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/mix.lux')
-rw-r--r-- | stdlib/source/specification/lux/abstract/mix.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux index aecd00cbb..d444b5127 100644 --- a/stdlib/source/specification/lux/abstract/mix.lux +++ b/stdlib/source/specification/lux/abstract/mix.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math ["[0]" random] [number ["n" nat]]]]] [// - [functor {"+" [Injection Comparison]}]] + [functor {"+" Injection Comparison}]] [\\library ["[0]" /]]) |