Open DavidArno opened 4 years ago
It's only me that ever uses Succinc\<T> as the name of the page. It's difficult to type and its really highly affected nonsense when "SuccincT" works just as well.
So remove all refs to Succinc\<T> from the wiki etc and replace with Succinct.
It's only me that ever uses Succinc\<T> as the name of the page. It's difficult to type and its really highly affected nonsense when "SuccincT" works just as well.
So remove all refs to Succinc\<T> from the wiki etc and replace with Succinct.