Hacker News new | ask | show | jobs
by lisper 1853 days ago
Yes. Exactly. (You could also see it as a rendering of some of the Peano axioms.)