random tune

Ian Lynagh igloo at earth.li
Sat Jul 18 15:22:28 EDT 2009


On Fri, Jul 17, 2009 at 04:33:24PM +0100, Ian Lynagh wrote:
> On Thu, Jul 09, 2009 at 11:42:20AM +0200, Laszlo Nagy wrote:
> > 
> >   http://sites.google.com/site/rizsotto/patches/random-time.darcs
> 
> Thanks; I'll take a look at adding time to GHC's corelibs, and then
> apply this.

Now applied; thanks for the patch!


Thanks
Ian



More information about the Libraries mailing list