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

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.