[Haskell-cafe] ANN: LeanCheck v0.9.0 -- enumerative property testing

[Johannes Waldmann]

On 1/18/19 2:36 AM, Brandon Allbery wrote:
> I think they're complaining about the name of the extension. 

Yes. And hat I need to use an extension at all - to be allowed
to annotate the declaration of an identifier with its type.

Of course it's easy to work around,
but I think it does not look good, especially when teaching.

- J.