|
| From: | Gabriel Dos Reis |
| Subject: | [Axiom-math] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product. |
| Date: | Tue, 23 Oct 2007 05:24:53 -0500 (CDT) |
On Tue, 23 Oct 2007, Ralf Hemmecke wrote: | > What would be its meaning? | | Maybe this one.... [aldor code] Am I the only one here who believes that 'meaning' has to be given mathematically, indenpendent of syntax, and typing rules must also be given too? -- Gaby
| [Prev in Thread] | Current Thread | [Next in Thread] |