summaryrefslogtreecommitdiff
path: root/compiler/utils/BooleanFormula.hs
Commit message (Expand)AuthorAgeFilesLines
* Added comments to BooleanFormula to explain the expression simplifier. (#7633)Twan van Laarhoven2013-10-151-3/+47
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-0/+167