« Changelog History


ghc-proofs v0.1.1 Release Notes

Release Date: 2017-09-05 // over 6 years ago
    • Also run simplifier in stage 0