3 ms·
> I think this article would be better if it ignored the issue of proving termination. I agree; that part went on so long that I got bored and stopped reading
by marssaxman 2y ago
> I think this article would be better if it ignored the issue of proving termination.
I agree; that part went on so long that I got bored and stopped reading before the article actually got around to saying anything about type inference.