leancheck v0.7.1 Release Notes
-
- LeanCheck now works on Hugs-200607 (only minor changes were needed);
- ✅ Implement functions that calculate statistics:
Test.LeanCheck.Stats; - More stuff on
Utils:rational,okNum; - 👌 Improve tests;
- 👌 Improve build scripts;
- 🛠 Minor assorted fixes.