Comment by Rusky

15 hours ago

This is not actually a problem for total languages, which simply model these kinds of processes using corecursion/coinduction/codata.

0 comments