You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"Subsequence" means something else mathematically; what we mean here is a substring. But it seems that the affected Effects paragraphs have no normative effect anyway (the Returns fully specifies what we are searching for) and can be removed outright.
"Subsequence" means something else mathematically; what we mean here is a substring. But it seems that the affected Effects paragraphs have no normative effect anyway (the Returns fully specifies what we are searching for) and can be removed outright.
Compare https://wg21.link/LWG3115.
The text was updated successfully, but these errors were encountered: