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

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Fri Jan 18 06:29:50 UTC 2019

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.

More information about the Haskell-Cafe mailing list