Re: C++ concepts

[Walter Bright]

retard wrote:

But even in the abandoned c++0x proposal, checking axioms was optional IIRC.

As far as I know, nobody had plans to implement axioms or even knew how to.