Post #2735410
2026-05-11 00:40 UTC
@byorgey@mathstodon.xyz That's right! I had missed that. I'd insist on reversing since it seems weird to take the input sorted one way and return the result sorted the other way, though. @das_g@chaos.social
Replies (1)
-
@byorgey@mathstodon.xyz 2026-05-11 00:42
@oantolin@mathstodon.xyz @das_g@chaos.social Yeah, the reversing thing is an artifact from the way I was initially thinking about it. I agree with you.