Data.Logic.Normal.Implicative

type LiteralMapT f

type NormalT formula v term m a

runNormal

runNormalT

data ImplicativeForm lit

makeINF'

implicativeNormalForm

prettyINF

prettyProof