[Agda] Agda's coinduction incompatible with initial algebras

[Martin Escardo]

On 04/10/11 22:45, Peter Hancock wrote:
> I've never appreciated that was what "algebraically compact" meant.
> What on earth has that got to do with compactness?

If you ever find out, please let me know. But the terminology certainly 
does sound impressive and deep (to the extent that you have to admit 
that what Andreas reports must be a feature rather than a design bug).

Martin