26 Sep
2012
26 Sep
'12
9:14 p.m.
On Wed, Sep 26, 2012 at 11:10 PM, Andrzej Krzemienski <akrzemi1@gmail.com>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