Prelude-v19.0.0
Flip the value of a Bool
Bool
not True ≡ False
not False ≡ True
--| Flip the value of a `Bool`let not : Bool → Bool = λ(b : Bool) → b == Falselet example0 = assert : not True ≡ Falselet example1 = assert : not False ≡ Truein not