Re: A combinatorial question
Martin Rubey <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user,gmane.comp.lang.aldor |
|---|---|
| Message-ID | <[email protected]> |
"Peter Broadbery" <[email protected]> writes: > >* Axiom does not support Aldor's extend construct. I.e., one cannot say > > > > #include "axiom" > > extend Integer: LabelType == add ... > > > > which makes some ugly - user visible - workarounds necessary. Enabling that > > would be wonderful. > > Now that the aldor source has turned up (thanks stephen, and apologies for > missing the august get together), I'm having another go at getting this going > (although I have to admit it's not really a primary goal for me).. I might > have something together in a few weeks with a following wind. That would be truly wonderful. If there is anything we could do to support you, please don't hesitate to ask. But now I have to ask: what is the primary goal for you? :-) Martin