Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Export `Traversable()` and `Foldable()` from Prelude | Herbert Valerio Riedel | 2014-09-15 | 1 | -0/+4 |
* | Added comments to BooleanFormula to explain the expression simplifier. (#7633) | Twan van Laarhoven | 2013-10-15 | 1 | -3/+47 |
* | Implement checkable "minimal complete definitions" (#7633) | Twan van Laarhoven | 2013-09-18 | 1 | -0/+167 |