Remove examples using __ notation "contravariant" if we don't propose that system

atomgalaxy / isocpp-universal-template-param

We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.

https://atomgalaxy.github.io/isocpp-universal-template-param/d1985r0.pdf

2 stars 2 forks source link

Remove examples using __ notation "contravariant" if we don't propose that system #15

Closed BengtGustafsson closed 2 years ago

BengtGustafsson commented 2 years ago

Except in the section discussing the pros and cons of "mathematical" vs. "friendly" handling of this.