Hacker News new | ask | show | jobs
by hoping1 508 days ago
Fair, I think of this as advanced logic, and those concepts (and that notation) as prerequisite.