News for hackers. Stuff that matters.

A comment on Exploring the Peano Axioms Through Algebraic Data Types. Parent comment

Re:Exploring the Peano Axioms Through Algebraic Data Types by caf on Monday January 14, 2019 @11:06PM (#18908792)
The recursion is S(x) add y => x add S(y), which recurses until the x becomes O() so it hits the base case.
[ Parent | on HN ]

There are no comments on this comment yet.