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