Kurt Schelfthout

Interesting! Probably won't have time myself, but happy to provide support.

I did a few here: https://github.com/jlink/shrinking-challenge/pull/18 Quite fun, some good property-based testing exercises in there as well.

Possible, yes. Easy, probably not. Nice idea though. I'll mark it as up for grabs :)

I imagined this as a generator for the `Expr`.

Yes, I saw a propietary version of an `Expr` generator before and that's basically how it worked. Funny you mentioned minikanren: https://github.com/kurtschelfthout/fslogic :)

I think this is a good idea. It's definitely a nicer wrap around the whole API. I read that post on hypothesis before and was initially put off because I...

See #541 Note that I threaded the `'Testable` through all types. So you can't use `bool` in one `Operation` and `unit` in another now. I'm not 100% convinced that is...

hmm, looks like a `Task` overload is missing for `ForAll`.

Yeah, I felt like the default has changed to "nulls are opt-in" in recent years, in F# since the beginning and in C# more recently. You can write a string...

that's in reference to https://docs.microsoft.com/en-us/dotnet/api/system.nullable-1.value?view=net-6.0 i.e. for nullable value types. So it won't help with strings. Should probably have NullableRef and NullableValue at this point... The idea to use this...