[Axiom-developer] RE: dependent Types

[Weiss, Juergen]

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,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407
 

> -----Original Message-----
> From: address@hidden 
> [mailto:address@hidden 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
>