On 05/05/2006 11:59 AM, Martin Rubey wrote:
"Page, Bill" <[EMAIL PROTECTED]> writes:
On Thursday, May 04, 2006 10:47 AM Martin Rubey wrote:
...
Things to do on the interpreter side needed for the
axiom-combinat project:
* make it understand Aldor:
* dependent types
* extend
* creatin
"Page, Bill" <[EMAIL PROTECTED]> writes:
> On Thursday, May 04, 2006 10:47 AM Martin Rubey wrote:
> > ...
> > Things to do on the interpreter side needed for the
> > axiom-combinat project:
> >
> > * make it understand Aldor:
> >
> > * dependent types
> > * extend
> > * creating domains
Martin Rubey <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > Martin has a very good summary. Many reserachers and potential
| > contributors out there are not interested in learning Lisp just to be
| > able to use Axiom, which already requires its own language.
On Thursday, May 04, 2006 10:47 AM Martin Rubey wrote:
> ...
> Things to do on the interpreter side needed for the
> axiom-combinat project:
>
> * make it understand Aldor:
>
> * dependent types
> * extend
> * creating domains on the command line
>
Is what you are suggesting the same thi
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Martin has a very good summary. Many reserachers and potential
> contributors out there are not interested in learning Lisp just to be
> able to use Axiom, which already requires its own language. That make
> the number of people capable to maintain
Martin Rubey <[EMAIL PROTECTED]> writes:
[...]
| And I'm absolutely certain that I don't want to understand how noweb works. No
| matter whether it is coded in Lisp, Aldor or C.
Hear! Hear! Hear!
Martin has a very good summary. Many reserachers and potential
contributors out there are not inte
C Y <[EMAIL PROTECTED]> writes:
> --- root <[EMAIL PROTECTED]> wrote:
>
> > i'd much rather reduce the number of languages need to understand axiom
> > rather than enlarge the number. some are necessary (like lisp, spad, aldor)
> > but some are optional (e.g. java in the aldor merge) and more pro
