leancheck v0.8.0 Release Notes
Release Date: 2018-11-18 // over 5 years ago-
- export
tiersFractional
fromCore
and main module; - ๐ improve
Listable
instance forFloat
s andDouble
s; - ๐ improve
Show
instance for functions; - ๐ improve Haddock documentation;
- โ remove experimental function enumeration modules,
in favour of the working
ListsOfPairs
enumeration; - โ add special
String
andChar
types toUtils.Types
; - ๐ fix bug in the
Natural
type of theUtils.Types
modules; - ๐ฎ force non-negativity in
Natural
andNat
types fromUtils.Types
; - ๐ rename some exported symbols in the
ShowFunction
module; - ๐ improve tests of LeanCheck itself.
- export