Hacker News new | ask | show | jobs
by marv3lls 2042 days ago
I think I maybe noticed another typo... The last two axioms don't have matching parentheses? It looks like one more is opened than closed if I counted right.