[Agda] What is coinduction?
David Leduc
david.leduc6 at googlemail.com
Tue Oct 5 02:44:33 CEST 2010
Previous message:
[Agda] Coinductive families
Next message:
[Agda] Does Agda2 have fast arrays?
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
See examples there:
http://wiki.portal.chalmers.se/agda/agda.php?n=ReferenceManual.Codatatypes
Previous message:
[Agda] Coinductive families
Next message:
[Agda] Does Agda2 have fast arrays?
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list