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 quietbritishjim on Thursday January 17, 2019 @11:47AM (#18932263)
Oops, sorry, I see what you mean now. You're right, it looks like this is a mistake:

    S: innerX => S(y).add(innerX)
It should be

    S: innerX => S(innerX).add(y)
[ Parent | on HN ]

There are no comments on this comment yet.