Open jwaldmann opened 2 years ago
class Boolean b has implication as (==>) :: b -> b -> b.
class Boolean b
(==>) :: b -> b -> b
I wanted to write reverse implication <== and to my surprise, there is no such thing.
<==
for reference, https://hoogle.haskell.org/?hoogle=%3C%3D%3D&scope=set%3Astackage
class Boolean bhas implication as(==>) :: b -> b -> b.I wanted to write reverse implication
<==and to my surprise, there is no such thing.for reference, https://hoogle.haskell.org/?hoogle=%3C%3D%3D&scope=set%3Astackage