Hi Lukas,
thanks for the offer. We have still time before the next release to
work that out. Just give me a sign when you start to dig into this.
All the best,
Florian
Am 21.01.2017 um 18:33 schrieb Lukas Bulwahn:
> Hi Florian,
>
> I have been quite busy the last few days and hence d
Hi Andreas,
unfortunately, a selector-based solution didn't either yield a
terminating example.
If you like you can inspect the attached code, maybe I did get something
wrong.
I will resonsider this in approx. one week; maybe we have to raise the
question seriously how maintenance of quickcheck/