« Changelog History


leancheck v0.7.5 Release Notes

Release Date: 2018-09-25 // over 5 years ago
    • 🛠 Fix tests on systems with case-insensitive filesystems, like:
      • Windows;
      • Mac OS;
    • 🛠 Fix tests on GHC 8.6.

    🚀 This release fixes just the tests of LeanCheck itself. The LeanCheck library is otherwise unaffected.