axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Axiom meeting at ISSAC


From: didier deshommes
Subject: [Axiom-developer] Axiom meeting at ISSAC
Date: Wed, 1 Aug 2007 11:55:57 -0400

(Sorry, meant to send this to the whole list)

---------- Forwarded message ----------
From: didier deshommes <address@hidden>
Date: 1 août 2007 11:53
Subject: Re: [Axiom-developer] Axiom meeting at ISSAC
To: Stephen Wilson <address@hidden>


31 Jul 2007 21:18:26 -0400, Stephen Wilson <address@hidden>:
> FYI, this is already being seriously pursued in an experimental branch
> of the Axiom system, and the Aldor question does not impact that
> effort.  If at all interested in the details, please do not hesitate
> to ask.

Hi Stephen,
That sounds very interesting. How developed is this? Does it have the
same goals as Aldor? Does it aim to be compatible with Aldor? Any
information providing some kind of comparison of this vs Aldor would
be appreciated.

didier




reply via email to

[Prev in Thread] Current Thread [Next in Thread]