[Agda] Codata error

[Nils Anders Danielsson]

On 30/12/2018 18.10, Sergei Meshveliani wrote:
> Now I tried Experimental branches of Agda and of stdlib both of
> December 30, 2018.
> And it yields   Termination check failure in  Codata.Musical.Conat.

If you use the experimental branch of the standard library, and the
master branch of Agda, then your code is accepted.

-- 
/NAD