[tempodox]

How is not halting O(1)? Wouldn't that be O(∞)?

[scapp]

I think they meant

> Thus if you assume that the function is total and thus does halt, it must run in O(1) time.

Since that's what total means.