There is an extraordinarily minor typo: “PM-LIsp” I point it out only because yo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sillysaurusx on Nov 17, 2020 \| parent \| context \| favorite \| on: What Gödel Discovered There is an extraordinarily minor typo: “PM-LIsp” I point it out only because your work here is so good that it feels wrong not to smooth out any small splinters. Thank you for making this!

stopachka on Nov 17, 2020 [–]

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

marv3lls on Nov 17, 2020 | [–]

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.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact