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