increase clarity for order of operations for NOT

This commit is contained in:
Luke Boswell 2022-10-24 20:06:19 +11:00
parent dc8cdecd05
commit 9c3666c5e3
No known key found for this signature in database
GPG key ID: 0E908525B2C7BD68

View file

@ -90,8 +90,8 @@ or : Bool, Bool -> Bool
## equivalent to the logic [NOT](https://en.wikipedia.org/wiki/Negation) ## equivalent to the logic [NOT](https://en.wikipedia.org/wiki/Negation)
## gate. The operator `!` can also be used as shorthand for `Bool.not`. ## gate. The operator `!` can also be used as shorthand for `Bool.not`.
## ##
## expect Bool.not Bool.false == Bool.true ## expect (Bool.not Bool.false) == Bool.true
## expect !Bool.true == Bool.false ## expect (!Bool.false) == Bool.true
not : Bool -> Bool not : Bool -> Bool
## This will call the function `Bool.isEq` on the inputs, and then `Bool.not` ## This will call the function `Bool.isEq` on the inputs, and then `Bool.not`