On 08/02/2014 01:16 AM, Andrei Alexandrescu wrote:
On 8/1/14, 3:05 PM, Daniel Gibson wrote:Yeah, it seems like assertion doesn't *have* to mean something like "promise", but can also be used in the sense of "claim" or "thesis", which is much weaker.That said I'm perversely excited by the notion of a keyword called "thesis"... -- Andrei
:DMaybe you should contact Hoare in order to extend http://en.wikipedia.org/wiki/C._A._R._Hoare#Apologies_and_retractions