No. No human checked it. But a type checker did. And that is much better.