smallcheck v0.2 Release Notes
-
✅ The 'smallCheck' driver now takes an argument d and runs test series ✅ at depths 0..d without interaction, stopping if any test fails. The interactive variant is still available as 'smallCheckI'. All Prelude numeric types now have Serial instances, including floating-point types. Serial types Nat and Natural are also defined. Examples extended.