[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