diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 55801fb84..8799e27a9 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -6,21 +6,21 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." monoid] + ["$[0]" monoid] [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [control - ["." function]] + ["[0]" function]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (multiple? factor) (-> Nat (/.Predicate Nat)) |