Rudy Matela

> Is the stuff in doc/ and eg/ accessible from the Hackage docs? Sort of: * https://hackage.haskell.org/package/leancheck/src/doc/ * https://hackage.haskell.org/package/leancheck/src/eg/ ... but the rendering is not nice. You get the raw...

... I kind of forgot to answer your original question though... > Does there exist an analogue of QuickCheck's `choose` function? Not really. For now I don't think there's anything...

> By the way, it has occurred to me that LeanCheck must "miss" values because of Cantor's theorem. Yes and no. It misses values fome some types, but not for...