nifty to Programmer Humor • 7 months agoWhat’s in a name?lemmy.worldimagemessage-square146fedilinkarrow-up1719arrow-down114
arrow-up1705arrow-down1imageWhat’s in a name?lemmy.worldnifty to Programmer Humor • 7 months agomessage-square146fedilink
minus-squareTechNom (nobody)linkEnglish5•edit-27 months agoSo are Haskell and Idris (well, if you consider a singing dragon as a person).
Ada is in fact named after a person, thus completing the circle.
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