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

Andreas Abel andreas.abel at ifi.lmu.de
Fri Jul 12 23:16:58 CEST 2013


On 12.07.13 10:29 PM, Felipe Almeida Lessa wrote:
>  I'm accidentally all e-mails today =(.

Even this one.

Sorry, that had to be. :)

Good night,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list