[Agda] RE: agda coredump

Nils Anders Danielsson nad at chalmers.se
Fri Mar 25 00:33:09 CET 2011


On 2011-03-24 20:41, Sivaram Gowkanapalli wrote:
> I have narrowed down the coredumps to be caused by the usage of show.

Thanks for your report, I have added an item to the bug tracker:

   http://code.google.com/p/agda/issues/detail?id=398

-- 
/NAD


More information about the Agda mailing list