Changelog of @hackage/inspection-testing 0.1

Revision history for inspection-testing

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