« Changelog History


leancheck v0.9.0 Release Notes

Release Date: 2019-01-17 // over 5 years ago
    • logo for LeanCheck;
    • Listable instances to most types in the Haskell 2010 Language Report:
      • Word<n>;
      • Int<n>;
      • Complex;
      • etc...;
    • 📚 minor improvements in documentation and README.