diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/spec/lux/abstract/codec.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/spec/lux/abstract/codec.lux b/stdlib/source/spec/lux/abstract/codec.lux index db3148c3f..d892436f3 100644 --- a/stdlib/source/spec/lux/abstract/codec.lux +++ b/stdlib/source/spec/lux/abstract/codec.lux @@ -7,10 +7,10 @@ ["." try]] [math ["." random (#+ Random)]]] - {1 + [\\ ["." / [// - [equivalence (#+ Equivalence)]]]}) + [equivalence (#+ Equivalence)]]]]) (def: #export (spec (^open "@//.") (^open "@//.") generator) (All [m a] (-> (Equivalence a) (/.Codec m a) (Random a) Test)) |