nifty@lemmy.world to Programmer Humor@programming.dev · 2 years agoWhat’s in a name?lemmy.worldimagemessage-square145linkfedilinkarrow-up1718arrow-down114
arrow-up1704arrow-down1imageWhat’s in a name?lemmy.worldnifty@lemmy.world to Programmer Humor@programming.dev · 2 years agomessage-square145linkfedilink
minus-squareTechNom (nobody)@programming.devlinkfedilinkEnglisharrow-up4·edit-22 years agoSo are Haskell and Idris (well, if you consider a singing dragon as a person).
minus-squarelhamil64@programming.devlinkfedilinkarrow-up10·2 years 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