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

[Felipe Almeida Lessa]

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 =(.

Cheers,

--
Felipe.