Dear Tim, root <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer