Hacker News new | ask | show | jobs
by andersmurphy 201 days ago
Right the same way the type checker should check the type checker.