[Aldor-l] Axioms in Aldor [was: Re: "has" and "with" and bug]

Gabriel Dos Reis gdr at cs.tamu.edu
Wed Sep 5 09:18:31 EDT 2007

Previous message: [Aldor-l] Axioms in Aldor [was: Re: "has" and "with" and bug]
Next message: [Aldor-l] Axioms in Aldor [was: Re: "has" and "with" and bug]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Wed, 5 Sep 2007, Christian Aistleitner wrote:

| But these are just some advantages...

Optimizations, in addition of correctness are good enough reasons.

You probably recall my beef with AbelianGroup not being a Group.

-- Gaby

Previous message: [Aldor-l] Axioms in Aldor [was: Re: "has" and "with" and bug]
Next message: [Aldor-l] Axioms in Aldor [was: Re: "has" and "with" and bug]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Aldor-l mailing list