Subject: Re: [boost] [contract] toward N3351 concepts
From: Klaim - Joël Lamotte (mjklaim_at_[hidden])
Date: 2012-09-26 17:14:17
On Wed, Sep 26, 2012 at 11:10 PM, Andrzej Krzemienski <akrzemi1_at_[hidden]>wrote:
> On the other hand the very existence of axioms as
> language feature is controversial, so not supporting them at all would
> probably also be a reasonable choice.
>
Was checking expressions the only reason they were introduced in the first
place?
Joel Lamotte