jsalvatier comments on No coinductive datatype of integers

[jsalvatier]

Thanks for correcting me :) I imagine there’s a lot of Harper I don’t understand correctly.