diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/lux/abstract/equivalence.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 59786ab42..d4c335794 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / {"+" [Equivalence]}]]) + ["[0]" / {"+" [Equivalence]}]]) -(def: .public (spec (^open "_//.") random) +(def: .public (spec (^open "_//[0]") random) (All (_ a) (-> (Equivalence a) (Random a) Test)) (do random.monad [left random |