Hacker News Reader

Oi, thanks for the kind words and the catch! Updated (should take a few minutes to show up)

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.

Reply on news.ycombinator.com