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

[Martin Rubey]

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 :-)

Martin