axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] RE: dependent Types


From: Weiss, Juergen
Subject: [Axiom-developer] RE: dependent Types
Date: Sun, 6 Nov 2005 16:35:27 +0100

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
> 




reply via email to

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