diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/refinement.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index 1f44a90cf..1b2c17e36 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -6,16 +6,16 @@ [predicate {"+" [Predicate]}] [monad {"+" [do]}]] [control - ["." maybe ("#\." monad)]] + ["[0]" maybe ("[1]\[0]" monad)]] [data [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: _refiner (/.refiner (n.> 123))) |