Alexis Hunt
Alexis Hunt
I had also thought about some level of inference: e.g. by default, traits are considered to be fully effect-polymorphic (by adding an implicit effect parameter and applying it to all...
This could also include `Stream` if `futures03` is included?
Because a concrete Gen can't be swapped out as easily. Though I guess if standard generators make it out, I will need to change the interfaces, so maybe it's not...
I agree. `UnsafeFn` is meaningless and breaks the mechanics of unsafe proof obligations.
Since gRPC basically uses HTTP/2 as a transport protocol, and QUIC is intended for use as a transport protocol with support for most of the key transport features, does it...
I think that roman numerals should be left off and left up to styling (and I think any attempt to support that styling directly in CM should be left as...
Hm, that's a good point. Since you can already call `abs` directly on signed types, the need for it is a bit weaker there. But I hadn't thought about the...
Thought: it might be viable by putting a `PartialOrd` bound directly on the method. Since there would be a default implementation provided, I don't think this would be a breaking...
> Leaching in itself is a 2 step process. First you add a strong acid to dissolve the wanted product, the remainder that does not get dissolved are the impurities,...
This is an excellent point and really cuts, in a way, to the core of what #479 was originally about. Thank you! Given that this is a well-explored area of...