jsalvatier comments on No coinductive datatype of integers

[jsalvatier]

Have you considered posting your observation/​question to cstheory.stackexchange.com? I’d be interested in seeing the response there.

[cousin_it]

I asked a question on MathOverflow, you can find the link in my conversation with Emile above.