Avg Release Cycle
690 days ago
v0.1.2.0November 10, 2020
- ➕ Added helper for flattening a list of proofs.
- 📦 Loosen package version requirements after testing with GHC 8.8.
- 📦 Loosen package version requirements.
- Minor changes to haddocks.
- 🚀 First version. Released on an unsuspecting world.