Hacker News new | ask | show | jobs
by mrkeen 71 days ago
Oof. If sets and types aren't the same, then sets and barbers are definitely not the same!