jsalvatier comments on No coinductive datatype of integers - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (138)
Have you considered posting your observation/question to cstheory.stackexchange.com? I'd be interested in seeing the response there.
I asked a question on MathOverflow, you can find the link in my conversation with Emile above.