diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/reader.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 0666930c0..7f1701082 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,9 +13,9 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Reader]} + ["[0]" / {"+" Reader} [// - ["[0]" io {"+" [IO]}]]]]) + ["[0]" io {"+" IO}]]]]) (def: (injection value) (Injection (All (_ a r) (Reader r a))) |