diff --git a/README.md b/README.md index 0c3fb643..47d64c83 100644 --- a/README.md +++ b/README.md @@ -27,7 +27,7 @@ open Hedgehog Once you have your import declaration set up, you can write a simple property: ```fsharp -let propReverse : Property = +let propReverse : Property = property { let! xs = Gen.list (Range.linear 0 100) Gen.alpha return xs |> List.rev |> List.rev = xs diff --git a/doc/index.md b/doc/index.md index 84dc820f..9807ba29 100644 --- a/doc/index.md +++ b/doc/index.md @@ -39,7 +39,7 @@ property { let! xs = Range.constant 0 1000 |> Gen.int32 |> Gen.list (Range.linear 0 100) return List.rev (List.rev xs) = xs } -|> Property.render +|> Property.renderBool |> printfn "%s" +++ OK, passed 100 tests.