Advise-me-0.1: Assessment services for the Advise-Me project

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Domain.Logic.GeneralizedRules

Description

Generalized rules, and inverse rules, for De Morgan and distributivity

Documentation

generalRuleDeMorganOr :: Rule SLogic Source #

generalRuleDeMorganAnd :: Rule SLogic Source #

generalRuleDistrAnd :: Rule SLogic Source #

generalRuleDistrOr :: Rule SLogic Source #

generalRuleInvDoubleNegAnd :: Rule SLogic Source #

generalRuleInvDoubleNegOr :: Rule SLogic Source #