Hacker News new | ask | show | jobs
by dependenttypes 2242 days ago
This is irrelevant to what I was talking about.