summaryrefslogtreecommitdiff
path: root/compiler/utils/BooleanFormula.hs
Commit message (Expand)AuthorAgeFilesLines
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-8/+2
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-1/+1
* ApiAnnotations: BooleanFormula is not properly LocatedAlan Zimmerman2015-11-011-27/+40
* Export `Traversable()` and `Foldable()` from PreludeHerbert Valerio Riedel2014-09-151-0/+4
* 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