diff options
Diffstat (limited to 'stdlib/source/test/lux/type/check.lux')
| -rw-r--r-- | stdlib/source/test/lux/type/check.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 57ea22d70..d88cd4c95 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,29 +1,29 @@ (.module: [library - [lux (#- type) - ["_" test (#+ Test)] + [lux {"-" [type]} + ["_" test {"+" [Test]}] ["." type ("#\." equivalence)] [abstract - ["." monad (#+ do)] + ["." monad {"+" [do]}] [\\specification - ["$." functor (#+ Injection Comparison)] + ["$." functor {"+" [Injection Comparison]}] ["$." apply] ["$." monad]]] [control - [pipe (#+ case>)] + [pipe {"+" [case>]}] ["." function] ["." try] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." bit ("#\." equivalence)] ["." product] ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor monoid)] ["." set]]] [math - ["." random (#+ Random) ("#\." monad)] + ["." random {"+" [Random]} ("#\." monad)] [number ["n" nat]]]]] [\\library |