Dear Martin, I must admit that my practical knowlegde of AXIOM does not really include code produced by the A# compiler, as it predates the availability of A#. And as I wrote in my last mail, I do not have much spare time which I can spend on AXIOM. So probably I will not be able to contribute much to this.
Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Martin Rubey > Sent: Wednesday, November 02, 2005 12:03 PM > To: Weiss, Juergen > Cc: axiom-developer > Subject: dependent Types > > Dear Jürgen, > > since you seem to be quite knowledgable of the interpreter, > would it be > possible that you look at > > http://wiki.axiom-developer.org/219TheInterpreterDoesNotUnders > tandDependendTypes > > It would be really wonderful if you could resolve this! > > Martin > _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
