[Agda] What is coinduction?

David Leduc david.leduc6 at googlemail.com
Tue Oct 5 02:44:33 CEST 2010


See examples there:
http://wiki.portal.chalmers.se/agda/agda.php?n=ReferenceManual.Codatatypes


More information about the Agda mailing list