nifty to Programmer Humor@programming.dev • 1 year agoWhat’s in a name?lemmy.worldimagemessage-square144fedilinkarrow-up1718arrow-down114
arrow-up1704arrow-down1imageWhat’s in a name?lemmy.worldnifty to Programmer Humor@programming.dev • 1 year agomessage-square144fedilink
minus-squareTechNom (nobody)linkfedilinkEnglish5•edit-21 year agoSo are Haskell and Idris (well, if you consider a singing dragon as a person).
minus-square@lhamil64@programming.devlinkfedilink11•1 year agoBoolean is named after George Boole so that is too, sort of
So are Haskell and Idris (well, if you consider a singing dragon as a person).
Boolean is named after George Boole so that is too, sort of