[Agda] What is coinduction?

Gregory Crosswhite gcross at phys.washington.edu
Tue Oct 5 00:57:13 CEST 2010


  Hey everyone,

Would someone be kind enough to give me a brief explanation about what 
the point of Coinduction/Codata is?  I've tried googling it, but most 
discussions seem to either assume that you already know what the purpose 
of it is or to give a very involved explanation from which it is hard to 
gleam the basic insight behind it.

Thanks!
Greg



More information about the Agda mailing list