Lena@gregtech.eu to Programmer Humor@programming.dev · 10 days agoBased Haskell bluesky accountgregtech.euimagemessage-square12linkfedilinkarrow-up1168arrow-down17file-text
arrow-up1161arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 10 days agomessage-square12linkfedilinkfile-text
minus-squarePotatoesFall@discuss.tchncs.delinkfedilinkarrow-up4·10 days agohelp what is a Nat or a peano
help what is a Nat or a peano
See msfroh’s comment