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

Felipe Almeida Lessa felipe.lessa at gmail.com
Fri Jul 12 23:23:35 CEST 2013


A-ha!  That was actually a meme reference [1].  Gotcha =).

Have a good night, and sorry for the spam, :)

[1] http://knowyourmeme.com/memes/i-accidentally

On Fri, Jul 12, 2013 at 6:16 PM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> 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/



-- 
Felipe.


More information about the Agda mailing list