Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
ghc-proofs-0.1.1
Revision history for ghc-proofs
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 commences