[Agda] Strangeness with corecursion

Nils Anders Danielsson nad at cse.gu.se
Mon Mar 4 16:29:06 CET 2019


On 03/03/2019 13.16, Thorsten Altenkirch wrote:
> Otherwise can somebody remind e how to report this?

The bug has been reported for you:

   https://github.com/agda/agda/issues/3604

-- 
/NAD


More information about the Agda mailing list