# Revision history for inspection-testing ## 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