Data.Logic.Classes.Combine

class Combinable formula

data Combination formula

combine

data BinOp

binop

Unicode aliases for Combinable class methods

(∧)

(∨)

(⇒)

(⇔)

Use in Harrison's code

(==>)

(<=>)

prettyBinOp