leancheck v0.8.0 Release Notes

Release Date: 2018-11-18 // over 5 years ago
    • export tiersFractional from Core and main module;
    • ๐Ÿ‘Œ improve Listable instance for Floats and Doubles;
    • ๐Ÿ‘Œ improve Show instance for functions;
    • ๐Ÿ‘Œ improve Haddock documentation;
    • โœ‚ remove experimental function enumeration modules, in favour of the working ListsOfPairs enumeration;
    • โž• add special String and Char types to Utils.Types;
    • ๐Ÿ›  fix bug in the Natural type of the Utils.Types modules;
    • ๐Ÿ‘ฎ force non-negativity in Natural and Nat types from Utils.Types;
    • ๐Ÿ“‡ rename some exported symbols in the ShowFunction module;
    • ๐Ÿ‘Œ improve tests of LeanCheck itself.