[Agda] Warning: hashable-1.2.0.x has serious performance bugs

Felipe Almeida Lessa felipe.lessa at gmail.com
Fri Jul 12 22:29:07 CEST 2013

On Fri, Jul 12, 2013 at 5:27 PM, Felipe Almeida Lessa
<felipe.lessa at gmail.com> wrote:
> I can't say that cabal won't complain since that is kind of
> unpredictable for me, but I don't see any reason why it wouldn't.

Of course I meant that I don't see any reason why it _would_
[complain].  I'm accidentally all e-mails today =(.



More information about the Agda mailing list