[QuickCheck] Request new release of QuickCheck
Nick Smallbone
nicsma at chalmers.se
Wed May 28 20:22:02 BST 2014
Done!
Nick
On Wednesday 21 May, 2014 at 10:11 am, Andrés Sicard-Ramírez wrote:
> Hi,
>
> Given the issue reported in the Agda bug tracker (
> https://code.google.com/p/agda/issues/detail?id=1139 ), could you release a
> new version of QuickCheck, please.
>
> Thanks,
>
> --
> Andrés
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck
More information about the QuickCheck
mailing list