[Agda] hot computer churns codata

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Wed May 20 20:24:04 CEST 2009


On Wed, May 20, 2009 at 12:27 PM, Nils Anders Danielsson
<nad at cs.nott.ac.uk> wrote:
>
> This old feature request should probably be moved to the bug tracker.

Done.

-- 
Andrés


More information about the Agda mailing list