Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

Rewrite rules in the logic domain (including all the rules from the DWA course)

# Documentation

ruleDistrOr :: Rule SLogic Source #

ruleComplOr :: Rule SLogic Source #

ruleDefImpl :: Rule SLogic Source #

ruleFalseOr :: Rule SLogic Source #

ruleIdempOr :: Rule SLogic Source #

ruleNotTrue :: Rule SLogic Source #

ruleTrueAnd :: Rule SLogic Source #

ruleTrueOr :: Rule SLogic Source #

ruleCommOr :: Rule SLogic Source #

ruleCommAnd :: Rule SLogic Source #

ruleAssocOr :: Rule SLogic Source #