All Versions
5
Latest Version
Avg Release Cycle
19 days
Latest Release
1409 days ago

Changelog History

  • v0.1.2.0

    November 10, 2020

  • v0.1.1.0 Changes

    October 29, 2020
    • ➕ Added helper for flattening a list of proofs.
    • 📦 Loosen package version requirements after testing with GHC 8.8.

  • v0.1.0.2 Changes

    September 09, 2020
    • 📦 Loosen package version requirements.

  • v0.1.0.1 Changes

    August 27, 2020
    • Minor changes to haddocks.

  • v0.1.0.0 Changes

    August 26, 2020
    • 🚀 First version. Released on an unsuspecting world.