[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