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.InverseRules

Description

 

Documentation

inverseDeMorganOr :: Rule SLogic Source #

inverseDeMorganAnd :: Rule SLogic Source #

inverseAndOverOr :: Rule SLogic Source #

inverseOrOverAnd :: Rule SLogic Source #

inverseIdempOr :: Rule SLogic Source #

inverseIdempAnd :: Rule SLogic Source #

inverseRules :: [Rule SLogic] Source #