@soc So the proposal is to not use compareQuietEqual (and the other comparison operations) to define Rust's == (etc), but to define Rust's relations in terms of totalOrder (possibly exposing compareQuietEqual as a .strict_equals() function)? That's something I could get behind.
=> More informations about this toot | View the thread | More toots from chrysn@chaos.social
=> View soc@chaos.social profile
text/geminiThis content has been proxied by September (ba2dc).