leancheck v0.9.2 Release Notes
Release Date: 2020-03-22 // about 4 years ago-
- โ
rename most functions on
Test.LeanCheck.Utils.Operators
; deprecated names are provided; - ๐ improve documentation:
- 100% haddock coverage;
- LeanCheck memory usage thoroughly documented;
- implement stub function
conditionStatsT
; - ๐ improve function display on
Test.LeanCheck.Function.*
; - ๐ fix some compiler warnings (newer GHC);
- ๐ improve build scripts;
- ๐ improve tests;
- โก๏ธ update tests scripts to support the new cabal (
test/sdist
).
- โ
rename most functions on