Hacker News new | ask | show | jobs
by scapp 593 days ago
Nothing wrong with starting at 1 for induction, but yes, having an additive monoid is nice (still get a multiplicative monoid with N*)