7 ms·
This is not actually a problem for total languages, which simply model these kinds of processes using corecursion/coinduction/codata.
by Rusky 6mo ago
This is not actually a problem for total languages, which simply model these kinds of processes using corecursion/coinduction/codata.