nifty to Programmer [email protected] • 10 months agoWhat’s in a name?imagemessage-square146arrow-up1714arrow-down113
arrow-up1701arrow-down1imageWhat’s in a name?nifty to Programmer [email protected] • 10 months agomessage-square146
minus-squareTechNom (nobody)linkfedilinkEnglish5•edit-210 months agoSo are Haskell and Idris (well, if you consider a singing dragon as a person).
minus-square@[email protected]linkfedilink11•10 months 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