All Versions
5
Latest Version
Avg Release Cycle
19 days
Latest Release
690 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.