Hello I have a basic question.
Why is “not” definded as followed:
not :: Bool → Bool
and not
not :: Bool
Thanks for your replay
The not function implements boolean negation, which is a function from one input boolean to one output boolean. So, it has to have the type Bool -> Bool. Maybe you are confusing it with the boolean False :: Bool?
2 Likes
All right I didn`t chatch the point that “not” is a funtion.
Thanks a lot
2 Likes