• TechNom (nobody)
    link
    fedilink
    English
    arrow-up
    5
    ·
    edit-2
    9 months ago

    So are Haskell and Idris (well, if you consider a singing dragon as a person).

    • lhamil64
      link
      fedilink
      arrow-up
      11
      ·
      9 months ago

      Boolean is named after George Boole so that is too, sort of