You must log in or register to comment.
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
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
