Michael Fry

FWIW, the property-based testing lib that I'm currently building uses a different strategy to go from something like an initial counterexample split across two lists e.g. `[[0, 1, -1], [2,...

> That sounds similiar to what jqwik is doing. In jqwik it's called _distance_ function but the idea is the same. "Distance" as in distance from the origin?

Nice, I like that terminology ("distance"). I'll try and submit a reword at some point. I'm just slowly making my way through all the challenges.

This is actually really hard, there's not much in the framework as of .NET 5 that gives an obvious answer as to whether something was declared as nullable. Apparently this...

+1 Trying to create a concise function builder, and having the interesting methods polluted by the function prototype.