Consider adding syntax as https://github.com/yrashk/properex

[Kresten Krab Thorup]

@yrashk has a very nice syntax, not quite unlike yours. I don't know if his stuff still compiles/works with current syntax, but I like it quite a bit more:

    property simple_forall do
        forall x in integer, do: is_integer(x)
    end

His test/example code is here: https://github.com/yrashk/properex/blob/master/test/proper_test.exs

[Kenta Nakase]

Thank you for the comment (and the nice library). I agree that it's very nice syntax, I'll be looking around that (I should have checked the properex library before...).

[Kenta Nakase]

It corresponds to [4dde1e5] at the moment, though it needs more improvement.