# Revision history for inspection-testing
## 0.1.2 -- 2017-11-20
* Make `(==-)` a bit more liberal, and look through variable redefinitions that
only change the type
## 0.1.1.2 -- 2017-11-12
* Hotfix: Do not abort if there are expected failures
## 0.1.1.1 -- 2017-11-12
* Show summary stats
* Pull in less tests, to make inclusion in stackage easier
## 0.1.1 -- 2017-11-09
* More complete output when `(===)` fails
* Variant `(==-)` that ignores types when comparing terms
## 0.1 -- 2017-11-09
* Repackaged as inspection-testing
## 0.1.1 -- 2017-09-05
* Also run simplifier in stage 0
## 0.1 -- 2017-08-26
* Initial release to hackage
## 0 -- 2017-02-06
* Development of ghc-proofs commences