[Top][All Lists]

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

Re: [Axiom-developer] Re: SPAD and Aldor again

From: Martin Rubey
Subject: Re: [Axiom-developer] Re: SPAD and Aldor again
Date: 17 Nov 2006 17:31:44 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Dear Tim,

root <address@hidden> writes:

> I'm afraid that I'm more inclined to deeply document the existing compiler
> before trying to tackle the problem of language modification. [...]

> [...] My contribution to the Aldor effort involved making Aldor work inside
> Axiom [...]

In fact, I consider this good news: if your contribution was to make Aldor work
inside Axiom, maybe you can help make dependent types coming from code compiled
with Aldor work in Axiom? Peter has made some effort to make Aldor "extend"
work (it does not work yet, it seems), maybe you could shortcut.

Is the interface between Aldor and Axiom documented somewhere?

I would be very happy to pay the price :-)


reply via email to

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