Lena@gregtech.eu to Programmer Humor@programming.dev · 3 months agoBased Haskell bluesky accountgregtech.euimagemessage-square2linkfedilinkarrow-up12arrow-down10file-text
arrow-up12arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 3 months agomessage-square2linkfedilinkfile-text
minus-squaremsfroh@lemmy.calinkfedilinkarrow-up1·3 months agohttps://en.wikipedia.org/wiki/Peano_axioms In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.
https://en.wikipedia.org/wiki/Peano_axioms
In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.