[Agda] Agda's coinduction incompatible with initial algebras

[Nils Anders Danielsson]

On 2011-10-04 18:26, Andreas Abel wrote:
> Treating co as special would solve the problem.  I recall similar
> discussions on previous Agda meetings.

Yes, that's the long-term plan (if we keep it).

-- 
/NAD