Boost logo

Boost :

From: Reid Sweatman (borderland_at_[hidden])
Date: 2000-07-31 10:33:31

> "checked") inside the system (Godel, said that, I think). I think
> the point
> of an axiom is to make your assumptions so simple on the face of it that
> even skeptics are willing to concede them. But our compile-time assert is
> inherently provable, or there would be no point in writing it!

Admittedly the semiotics of AXIOM() aren't quite on target, but they're
pretty close. You could also have used A_PRIORI().


Me, too, but how about MAKE_IT_SO? <ordinality of the Cantor set of a grin>

Reid Sweatman
In a mood to pick nits, because I'm listening to mentally destructive music
right now.

Boost list run by bdawes at, gregod at, cpdaniel at, john at