Revision history for ghc-proofs

0.1 -- 2017-08-26

• Initial release to hackage

0 -- 2017-02-06

• Development commences