Jack Fox

Take the example ``` module rec RecursiveModule = module NonEmptySet = let verifyNonEmptySet _ (value : Set, Set, unit, Set> ``` In order to compute the union of NonEmptySets you...

That's interesting. Thanks. If you fork, keep me up to date on what you do.

Also refer to this language suggestion https://github.com/fsharp/fslang-suggestions/issues/631

I misread `|mount %` once as `|mount %once` But there is still a problem, `|mount %` creates a directory named base, so commits should be |commit `%base` 2nd and last...

I used to use this provider all the time, but it has been years. It cannot be upgraded to dotnet without a lot of work. IIRC there is a workaround,...

@dsyme I'm not sure if this example falls under number 2 https://github.com/jackfoxy/DependentTypes/blob/0a36775d572a4863e8c4cebf11e39998fd0b80e5/src/DependentTypes/DependentTypes.fs#L25

I use YoloDev.Expecto.TestSdk it works

Naively I just expect to re-use the `Performance.timeCompare` infrastructure used by `isFasterThan`, checking the resulting statistics execution times to see if they are within the range. What is wrong with...

Will do. Give me a couple weeks. I'm deep in a lot of other things right now.

I'm seeing the same problem. Downgrading Expecto to 8.9.1 did fix it.