Hacker News new | ask | show | jobs
by Gwypaas 1597 days ago
Also makes sense on numbers and other patterns where you can logically enforce exhaustiveness.