cousin_it comments on No coinductive datatype of integers

[cousin_it]

I asked MathOverflow to solve this and got a complete solution within an hour. Just like last time. Wow, just wow.

[Emile]

The stack exchange sites are pretty impressing, and humbling. Maybe Eliezer should outsource more of his research to them.