Rudy Matela

I was wondering if Python's `dotenv` behaved in the same way. Looks like Python's `dotenv` is different from Haskell's but equal to bashes `source`: ``` $ pip install python-dotenv ......

Needless to say: this may or may not be desirable. One can argue that preferring the _last_ occurence instead of the _first_ is a personal preference. I do prefer pciking...

I haven't looked into this in depth yet. But, as I mentioned to @barrucadu in person, the issue is most likely that an incorrect equation of bigger size was found...

> For larger values of maxSize, I have to wait a looong time to see anything, in the output of speculate. The quick workaround I tended to use was to...

@jwaldmann I'm sorry for the delay in replying. > currently, leancheck enumerates lexicographically (within each tier): > > ``` > > tiers !! 2 :: [(Nat,Nat,Nat,Nat)] > [(0,0,0,2),(0,0,1,1),(0,0,2,0),(0,1,0,1),(0,1,1,0),(0,2,0,0),(1,0,0,1),(1,0,1,0),(1,1,0,0),(2,0,0,0)] > ```...

> on fairness - see https://github.com/jwaldmann/fair-enum @jwaldmann Interesting... I'll do a careful read soon and I'll be back to this thread with my thoughts. @JonasDuregard already mentioned this in the...

The [`Listable Numeric.Natural`](https://hackage.haskell.org/package/leancheck-instances/docs/Test-LeanCheck-Instances.html) instance is available in the [`leancheck-instances`](https://hackage.haskell.org/package/leancheck-instances) ([leancheck-instances on GitHub](https://github.com/rudymatela/leancheck-instances)). For now, with both leancheck and leancheck-instances installed you can get the instance for Natural (and more) with:...

Fair enough. I'll try to work on a LeanCheck sub-module to allow Monadic style generators.

> I've been using LeanCheck for a few months now and it's wonderful! :) @langfield, I am glad you appreciate LeanCheck. :grin: > To motivate this a little, very often...

At some point in the next weeks, I think I should perhaps: * [ ] add an example illustrating this in the `eg/` folder * [ ] improve the discussion...